Result 1 to 19 of 19 total
An explanation-based constraint debugger. (English)
Namjoshi, Kedar (ed.) et al., Hardware and software: Verification and testing. 5th international Haifa verification conference, HVC 2009, Haifa, Israel, October 19‒22, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19236-4/pbk). Lecture Notes in Computer Science 6405, 52-56 (2011).
1
Reducing expression size using rule-based integration. (English)
Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 234-246 (2010).
2
SLP: A zero-contact non-invasive method for pulmonary function testing (English)
BMVC, 1-12 (2010).
3
Reducing expression size using rule-based integration (English)
AISC/MKM/Calculemus, 234-246 (2010).
4
A knowledge repository for indefinite integration based on transformation rules. (English)
Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6‒12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 480-485 (2009).
5
Concurrent sound segregation is enhanced in musicians (English)
J. Cognitive Neuroscience 21, No. 8, 1488-1498 (2009).
6
A knowledge repository for indefinite integration based on transformation rules (English)
Calculemus/MKM, 480-485 (2009).
7
An explanation-based constraint debugger (English)
Haifa Verification Conference, 52-56 (2009).
8
Human factors aspects of power system voltage visualizations (English)
HICSS, 58 (2002).
9
Human factors analysis of power system visualizations (English)
HICSS (2001).
10
Recursive integration of piecewise-continuous functions (English)
ISSAC, 290-294 (1998).
11
Integration of the signum, piecewise and related functions. (English)
Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21‒23, 1997. New York, NY: ACM Press. 324-330 (1997).
12
Integration of the signum, piecewise and related functions (English)
ISSAC, 324-330 (1997).
13
The evaluation of trigonometric integrals avoiding spurios discontinuities. (English)
ACM Trans. Math. Softw. 20, No.1, 124-135 (1994).
14
The evaluation of trigonometric integrals avoiding spurious discontinuities (English)
ACM Trans. Math. Softw. 20, No. 1, 124-135 (1994).
15
A logic-based approach to system modelling (English)
SCM, 84-93 (1991).
16
Capabilities of the muMATH-79 computer algebra system for the INTEL-8080 microprocessor. (English)
Symbolic and algebraic computation, EUROSAM ’79, int. Symp., Marseille 1979, Lect. Notes Comput. Sci. 72, 241-248 (1979).
17
Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor (invited) (English)
EUROSAM, 241-248 (1979).
18
Breadth-first search: some surprising results. (English)
Artif. Intell. 4, 1-27 (1973).
19
Result 1 to 19 of 19 total
Start
Contact
Print
General Help
