Sciweavers

14382 search results - page 185 / 2877
» Time in Connectionist Models
Sort
View
SIGADA
2005
Springer
15 years 12 months ago
Temporal skeletons for verifying time
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
Gustaf Naeser, Kristina Lundqvist, Lars Asplund
AAAI
2008
15 years 8 months ago
Planning for Human-Robot Interaction Using Time-State Aggregated POMDPs
In order to interact successfully in social situations, a robot must be able to observe others' actions and base its own behavior on its beliefs about their intentions. Many ...
Frank Broz, Illah R. Nourbakhsh, Reid G. Simmons
TAPSOFT
1991
Springer
15 years 10 months ago
Comparative Semantics for a Real-Time Programming Language with Integration
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
Franck van Breugel
ECCV
2002
Springer
16 years 8 months ago
Space-Time Tracking
Abstract. We propose a new tracking technique that is able to capture non-rigid motion by exploiting a space-time rank constraint. Most tracking methods use a prior model in order ...
Lorenzo Torresani, Christoph Bregler
CGI
2006
IEEE
16 years 15 days ago
An Approximate Image-Space Approach for Real-Time Rendering of Deformable Translucent Objects
Although lots of works have been engaged in interactive and realistic rendering of translucent materials, efficient processing for deformable models remains a challenging problem...
Yi Gong, Wei Chen, Long Zhang, Yun Zeng, Qunsheng ...