3856 search results - page 526 / 772 » Models for Automated Earthmoving |
148
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe our early experience building and optimizing GOOG-411, a fully automated, voice-enabled, business finder. We show how taking an iterative approach to system developme...
148
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
In the context of automated feeding (orienting) of industrial parts, we study the algorithmic design of traps in the bowl feeder track that filter out all but one orientation of ...
165
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
—Enterprise computing is moving towards more open, collaborative systems. Joining a business network must be made efficient, despite the technical and semantic interoperability ...
175
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
173
click to vote
BROADNETS
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...