Sciweavers

1712 search results - page 237 / 343
» Abstract Constraint Data Types
Sort
View
ADMI
2010
Springer
15 years 22 days ago
Probabilistic Modeling of Mobile Agents' Trajectories
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...
Stepán Urban, Michal Jakob, Michal Pechouce...
DAGSTUHL
2003
15 years 17 days ago
Coordinating Agents in OO
In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities ent are specified in terms of a corresponding ...
Frank S. de Boer, Cees Pierik, Rogier M. van Eijk,...
ECAI
2010
Springer
15 years 9 days ago
Context-Specific Independence in Directed Relational Probabilistic Models and its Influence on the Efficiency of Gibbs Sampling
Abstract. There is currently a large interest in relational probabilistic models. While the concept of context-specific independence (CSI) has been well-studied for models such as ...
Daan Fierens
ECOOP
2008
Springer
15 years 8 days ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
GECCO
2008
Springer
161views Optimization» more  GECCO 2008»
15 years 8 days ago
A new quantum behaved particle swarm optimization
This paper presents a variant of Quantum behaved Particle Swarm Optimization (QPSO) named Q-QPSO for solving global optimization problems. The Q-QPSO algorithm is based on the cha...
Millie Pant, Radha Thangaraj, Ajith Abraham