5326 search results - page 882 / 1066 » On what we can ensure |
183
click to vote
SEW
2007
IEEE
16 years 22 days ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
160
click to vote
GI
2007
Springer
16 years 19 days ago
2007
Springer
: We here report on a study exploring the use of augmented books for early literacy education. Children aged 6-7 interacted alone and in pairs with an AR-book. The study was iterat...
153
click to vote
ATAL
2005
Springer
16 years 17 hour ago
2005
Springer
In many negotiation and bargaining scenarios, a particular agent may need to interact repeatedly with another agent. Typically, these interactions take place under incomplete info...
172
click to vote
ISRR
2005
Springer
15 years 12 months ago
2005
Springer
We postulate that multi-wheel statically-stable mobile robots for operation in human environments are an evolutionarydead end. Robots of this class tall enough to interact meaning...
244
click to vote
PSSE
2004
Springer
15 years 11 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...