Sciweavers

2328 search results - page 72 / 466
» Component Frameworks - A Case Study
Sort
View
RTAS
2006
IEEE
15 years 10 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
CVPR
2009
IEEE
15 years 7 months ago
Nonlinear Nonnegative Component Analysis
In this paper general solutions for Nonlinear Nonnegative Component Analysis for data representation and recognition are proposed. That is, motivated by a combination of the Nonne...
Stefanos Zafeiriou, Maria Petrou
ICCBR
2010
Springer
15 years 8 months ago
Goal-Driven Autonomy with Case-Based Reasoning
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
Héctor Muñoz-Avila, Ulit Jaidee, Dav...
SYNASC
2005
IEEE
119views Algorithms» more  SYNASC 2005»
15 years 9 months ago
A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
Catalin Hritcu, Sabin C. Buraga
AVSS
2009
IEEE
15 years 11 months ago
Event Composition with Imperfect Information for Bus Surveillance
—Demand for bus surveillance is growing due to the increased threats of terrorist attack, vandalism and litigation. However, CCTV systems are traditionally used in forensic mode,...
Jianbing Ma, Weiru Liu, Paul Miller, Weiqi Yan