45 search results - page 3 / 9 » Autonomous Presentation Capture In Corporate And Educational... |
CORR
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
NETWORK
2006
13 years 6 months ago
2006
Recent research shows that animals can be guided remotely by stimulating regions of the brain. Therefore, it is possible to set up an animal wireless sensor network for search and...
IROS
2006
IEEE
14 years 11 days ago
2006
IEEE
— We report our development of a vision-based motion planning system for an autonomous motorcycle designed for desert terrain, where uniform road surface and lane markings are no...
GECCO
2008
Springer
13 years 7 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
OOPSLA
2005
Springer
13 years 12 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...