10910 search results - page 29 / 2182 » Input modeling using a computer algebra system |
151
Voted
CORR
2011
Springer
14 years 10 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...
146
Voted
LICS
2006
IEEE
15 years 9 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...
133
Voted
MKM
2009
Springer
15 years 10 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...
134
Voted
MVA
2000
15 years 3 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...
162
Voted
EUROPAR
1998
Springer
15 years 8 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...