217 search results - page 39 / 44 » An Application of Symbolic Computation in the Physical Scien... |
CHARME
2001
Springer
13 years 11 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
IUI
1997
ACM
13 years 11 months ago
1997
ACM
Historically, efforts at user modelling in educational systems have tended to employ knowledge representations in which symbolic (or "linguistic") cognition is emphasize...
CORR
2007
Springer
13 years 6 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
UPP
2004
Springer
14 years 1 days ago
2004
Springer
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
GI
2004
Springer
14 years 2 days ago
2004
Springer
: Humans have complex sensory and control capabilities. Only a few are used in standard games and virtual environments. Examples of games using interfaces beyond mouse, keyboard an...