3005 search results - page 115 / 601 » Logical Information Systems: from Taxonomies to Logics |
158
click to vote
WSCG
2004
15 years 7 months ago
2004
This paper presents an algorithm to track an industrial robot hand during its movement. Based on acquired image and knowing the robot hand model, the pose is obtained. This inform...
159
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
128
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper addresses the question of how statistical learning algorithms can be integrated into a larger AI system both from a practical engineering perspective and from the persp...
161
click to vote
ER
2007
Springer
16 years 18 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
163
click to vote
LCTRTS
2005
Springer
15 years 12 months ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...