Sciweavers

914 search results - page 85 / 183
» Informative performance metrics for dynamic optimisation pro...
Sort
View
AAMAS
2005
Springer
15 years 16 days ago
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
Marcela Capobianco, Carlos Iván Chesñ...
ISVC
2009
Springer
15 years 7 months ago
Propagation of Pixel Hypotheses for Multiple Objects Tracking
Abstract. In this paper we propose a new approach for tracking multiple objects in image sequences. The proposed approach differs from existing ones in important aspects of the re...
Haris Baltzakis, Antonis A. Argyros
125
Voted
FORMATS
2006
Springer
15 years 4 months ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...
IEEEPACT
2000
IEEE
15 years 5 months ago
Dynamic Branch Prediction for a VLIW Processor
This paper describes the design of a dynamic branchpredictorfor a VLIW processor. The developed branch predictor predicts the direction of a branch, i.e., taken or not taken, and ...
Jan Hoogerbrugge
102
Voted
SIGIR
2010
ACM
15 years 4 months ago
Entity information management in complex networks
Entity information management (EIM) is a nascent IR research area that investigates the information management process about entities instead of documents. It is motivated by the ...
Yi Fang