7988 search results - page 324 / 1598 » A Useful Undecidable Theory |
150
click to vote
EDUTAINMENT
2007
Springer
15 years 11 months ago
2007
Springer
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...
187
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
— It is a challenging task for multiple robots working together to realize object transportation. This paper studies a practical situation that a group of mobile manipulators are...
174
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— Active contours have been widely used as image segmentation methods. The use of level set theory has provided more flexibility and convenience for the implementation of active...
170
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
137
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...