Sciweavers

2989 search results - page 263 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
FMICS
2007
Springer
16 years 20 days ago
Analysis of a Session-Layer Protocol in mCRL2
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren&...
IDEAL
2009
Springer
15 years 11 months ago
The Winning Advantage: Using Opponent Models in Robot Soccer
Opponent modeling is a skill in multi-agent systems (MAS) which attempts to create a model of the behavior of the opponent. This model can be used to predict the future actions of ...
José Antonio Iglesias, Juan Antonio Fern&aa...
ECCV
2010
Springer
15 years 10 months ago
Exploiting Repetitive Object Patterns for Model Compression and Completion
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
ICCV
2005
IEEE
16 years 8 months ago
Simultaneous Facial Action Tracking and Expression Recognition Using a Particle Filter
The recognition of facial gestures and expressions in image sequences is an important and challenging problem. Most of the existing methods adopt the following paradigm. First, fa...
Fadi Dornaika, Franck Davoine
PERCOM
2007
ACM
16 years 6 months ago
Mining Frequent Trajectory Patterns for Activity Monitoring Using Radio Frequency Tag Arrays
Activity monitoring, a crucial task in many applications, is often conducted expensively using video cameras. Also, effectively monitoring a large field by analyzing images from m...
Yunhao Liu, Lei Chen 0002, Jian Pei, Qiuxia Chen, ...