20573 search results - page 3844 / 4115 » The Computer's New Clothes |
100
click to vote
IANDC
2006
15 years 1 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
115
click to vote
IJDAR
2006
15 years 1 months ago
2006
Evaluation of object detection algorithms is a non-trivial task: a detection result is usually evaluated by comparing the bounding box of the detected object with the bounding box...
127
Voted
JIPS
2008
15 years 29 days ago
2008
: Human-Robot Interaction (HRI), based on already well-researched Human-Computer Interaction (HCI), has been under vigorous scrutiny since recent developments in robot technology. ...
102
Voted
CPHYSICS
2007
15 years 29 days ago
2007
In the context of the analysis of measured data, one is often faced with the task to differentiate data numerically. Typically, this occurs when measured data are concerned or dat...
109
click to vote
JMLR
2008
15 years 29 days ago
2008
A number of today's state-of-the-art planners are based on forward state-space search. The impressive performance can be attributed to progress in computing domain independen...