1600 search results - page 220 / 320 » The human-robot interaction operating system |
167
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
145
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
161
click to vote
HASKELL
2009
ACM
16 years 29 days ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
162
click to vote
ICDM
2008
IEEE
16 years 27 days ago
2008
IEEE
We present a demo of ESTER, a search engine that combines the ease of use, speed and scalability of full-text search with the powerful semantic capabilities of ontologies. ESTER s...
158
click to vote
IROS
2008
IEEE
16 years 26 days ago
2008
IEEE
— We present the motion planning framework for an autonomous vehicle navigating through urban environments. Such environments present a number of motion planning challenges, incl...