3392 search results - page 278 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
154
click to vote
CADE
2000
Springer
15 years 9 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
148
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
130
Voted
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Affordances represent the behavior of objects in terms of the robot’s motor and perceptual skills. This type of knowledge plays a crucial role in developmental robotic system...
129
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
151
click to vote
INTERNET
2008
15 years 4 months ago
2008
straction and explained how the Representational State Transfer (REST) architectural style is one alternative that can yield a superior approach to building distributed systems. Be...