12981 search results - page 2177 / 2597 » Model Checking (Abstract) |
205
click to vote
FOMI
2009
15 years 3 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
197
Voted
IDA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Independent Subspace Analysis (ISA) is an extension of Independent Component Analysis (ICA) that aims to linearly transform a random vector such as to render groups of it...
227
Voted
GLOBECOM
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract—We consider the location service in a mobile adhoc network (MANET), where each node needs to maintain its location information in the network by (i) frequently updating ...
220
click to vote
COST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Computational models that attempt to predict when a virtual human should backchannel are often based on the analysis of recordings of face-to-face conversations between h...
153
Voted
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...