Sciweavers

3844 search results - page 396 / 769
» Modular interpreted systems
Sort
View
IROS
2006
IEEE
165views Robotics» more  IROS 2006»
16 years 5 days ago
Grounded Situation Models for Robots: Where words and percepts meet
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
Nikolaos Mavridis, Deb Roy
ESAW
2009
Springer
16 years 21 days ago
Normative Multi-Agent Organizations
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
Mehdi Dastani
APLAS
2006
ACM
16 years 3 days ago
A Bytecode Logic for JML and Types
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
Lennart Beringer, Martin Hofmann
CIDR
2009
119views Algorithms» more  CIDR 2009»
15 years 7 months ago
DBMSs Should Talk Back Too
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to ge...
Alkis Simitsis, Yannis E. Ioannidis
CVPR
2007
IEEE
16 years 8 months ago
Dynamic 3D Scene Analysis from a Moving Vehicle
In this paper, we present a system that integrates fully automatic scene geometry estimation, 2D object detection, 3D localization, trajectory estimation, and tracking for dynamic...
Bastian Leibe, Nico Cornelis, Kurt Cornelis, Luc J...