1217 search results - page 177 / 244 » Real Representations |
141
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
131
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
154
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
130
click to vote
MHCI
2005
Springer
15 years 10 months ago
2005
Springer
New mobile devices can be difficult to use because they give users access to powerful computing devices through small interfaces, which typically have limited input facilities. On...
125
click to vote
ROBOCUP
2005
Springer
15 years 10 months ago
2005
Springer
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...