Sciweavers

3481 search results - page 360 / 697
» Exploration in Relational Worlds
Sort
View
TLCA
2009
Springer
16 years 1 months ago
Partial Orders, Event Structures and Linear Strategies
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
Claudia Faggian, Mauro Piccolo
AINA
2008
IEEE
16 years 1 months ago
Thread Allocation in Chip Multiprocessor Based Multithreaded Network Processors
—This work tries to derive ideas for thread allocation in Chip Multiprocessor (CMP)-based network processors performing general applications by Continuous-Time Markov Chain model...
Yi-Neng Lin, Ying-Dar Lin, Yuan-Cheng Lai
FGR
2008
IEEE
176views Biometrics» more  FGR 2008»
16 years 1 months ago
Learning image alignment without local minima for face detection and tracking
Active Appearance Models (AAMs) have been extensively used for face alignment during the last 20 years. While AAMs have numerous advantages relative to alternate approaches, they ...
Minh Hoai Nguyen, Fernando De la Torre
ICPR
2008
IEEE
16 years 1 months ago
Tracking human body by using particle filter Gaussian process Markov-switching model
The goal of this article is to present an effective and robust tracking algorithm for nonlinear feet motion by deploying particle filter integrated with Gaussian process latent v...
Jing Wang, Hong Man, Yafeng Yin
INFOCOM
2008
IEEE
16 years 1 months ago
The Meandering Current Mobility Model and its Impact on Underwater Mobile Sensor Networks
—Underwater mobile acoustic sensor networks are promising tools for the exploration of the oceans. These networks require new robust solutions for fundamental issues such as: loc...
Antonio Caruso, Francesco Paparella, Luiz Filipe M...