Sciweavers

3047 search results - page 465 / 610
» A Temporal Consensus Model
Sort
View
WOA
2007
15 years 7 months ago
Expectations driven approach for Situated, Goal-directed Agents
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...
CCGRID
2010
IEEE
15 years 7 months ago
Bandwidth Allocation for Iterative Data-Dependent E-science Applications
We develop a novel framework for supporting e-Science applications that require streaming of information between sites. Using a Synchronous Dataflow (SDF) model, our framework inco...
Eun-Sung Jung, Sanjay Ranka, Sartaj Sahni
ICASSP
2010
IEEE
15 years 6 months ago
Action change detection in video by covariance matching of silhouette tunnels
Action recognition is an important but challenging problem in video analytics with a number of solutions proposed to date. However, even if a reliable model for action representat...
Kai Guo, Prakash Ishwar, Janusz Konrad
FDL
2008
IEEE
15 years 6 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 6 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...