7929 search results - page 303 / 1586 » Applications experience in Jade |
174
Voted
FMICS
2009
Springer
16 years 2 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
176
click to vote
EDUTAINMENT
2007
Springer
16 years 1 months ago
2007
Springer
Virtual Environments (VE) are mainly visual experiments that exclude visually impaired people. In this paper we present an application that should allow almost everybody to “see...
192
click to vote
IAT
2005
IEEE
16 years 1 months ago
2005
IEEE
Recent years have seen an explosion in new types of online worlds accessible both to human users and, increasingly, automated electronic systems...
201
click to vote
CBMS
2002
IEEE
16 years 13 days ago
2002
IEEE
The article deals with the problem of texture description. It presents a statistical approach. Specifically it introduces the use of first- and second-order statistics on textur...
173
click to vote
ISER
2000
Springer
15 years 11 months ago
2000
Springer
: We discuss the applications of modular self-reconfigurable robots to navigation. We show that greedy algorithms are complete for motion planning over a class of modular reconfigu...