10910 search results - page 29 / 2182 » Input modeling using a computer algebra system |
CORR
2011
Springer
14 years 4 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
MKM
2009
Springer
15 years 4 months ago
2009
Springer
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
MVA
2000
14 years 9 months ago
2000
Since the human face plays an important role in man-to-man communication, systems enabling distant users to communicate while viewing each others' face have been demanded. Re...
103
click to vote
EUROPAR
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...