Sciweavers

4985 search results - page 127 / 997
» Observation of String-Rewriting Systems
Sort
View
FTRTFT
1998
Springer
15 years 2 months ago
Operational and Logical Semantics for Polling Real-Time Systems
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
Henning Dierks, Ansgar Fehnker, Angelika Mader, Fr...
AMAI
1999
Springer
14 years 9 months ago
From Logic Programming Towards Multi-Agent Systems
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
Robert A. Kowalski, Fariba Sadri
ICRA
2010
IEEE
163views Robotics» more  ICRA 2010»
14 years 8 months ago
Exploiting domain knowledge in planning for uncertain robot systems modeled as POMDPs
Abstract— We propose a planning algorithm that allows usersupplied domain knowledge to be exploited in the synthesis of information feedback policies for systems modeled as parti...
Salvatore Candido, James C. Davidson, Seth Hutchin...
CHI
2006
ACM
15 years 10 months ago
Using visualizations to review a group's interaction dynamics
We present a visualization system for reviewing the turn-taking patterns in a face-to-face meeting. Without the need to directly observe a group, a user can use the system to gain...
Joan Morris DiMicco, Katherine J. Hollenbach, Walt...
ACCV
2009
Springer
15 years 4 months ago
Background Estimation Based on Device Pixel Structures for Silhouette Extraction
We propose a novel technique for background estimation on the tabletop systems that have an information display on the tabletop and observe tabletop objects with a camera. In such ...
Yasutomo Kawanishi, Takuya Funatomi, Koh Kakusho, ...