2152 search results - page 264 / 431 » On Automating the Calculus of Relations |
171
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
146
click to vote
HUC
2004
Springer
15 years 11 months ago
2004
Springer
We present a study of people’s use of positional information as part of a collaborative location-based game. The game exploits self-reported positioning in which mobile players m...
170
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
149
click to vote
METRICS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses not only the question of testability measurement of OO designs but also focuses on its practicability. While detecting testability weaknesses (called testabil...
130
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We have been developing new abilities of humanoid robot to realize proxy drives of a lift truck. Construction machines such as a lift truck play an important role in many tasks, b...