12981 search results - page 2083 / 2597 » Model Checking (Abstract) |
234
click to vote
ARCSF
2008
15 years 8 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...
201
Voted
AVI
2010
15 years 8 months ago
2010
The paper proposes an approach to EUD focusing on communities: on the one hand, users are considered as a community of cooperating actors; on the other hand, applications and devi...
213
click to vote
CLIMA
2007
15 years 8 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
177
click to vote
SIROCCO
2010
15 years 8 months ago
2010
Abstract. Two mobile agents (robots) have to meet in an a priori unknown bounded terrain modeled as a polygon, possibly with polygonal obstacles. Robots are modeled as points, and ...
207
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
In this paper, we propose a new approach to anomaly detection by looking at the latent variable space to make the first step toward latent anomaly detection. Most conventional app...