Sciweavers

3941 search results - page 429 / 789
» Computational Efficiency of Batching Methods
Sort
View
AMDO
2010
Springer
14 years 11 months ago
Compatible Particles for Part-Based Tracking
Particle Filter methods are one of the dominant tracking paradigms due to its ability to handle non-gaussian processes, multimodality and temporal consistency. Traditionally, the e...
Brais Martínez, Marc Vivet, Xavier Binefa
CHI
2010
ACM
14 years 10 months ago
The life and times of files and information: a study of desktop provenance
In the field of Human-Computer Interaction, provenance refers to the history and genealogy of a document or file. Provenance helps us to understand the evolution and relationships...
Carlos Jensen, Heather Lonsdale, Eleanor Wynn, Jil...
ICIP
2002
IEEE
16 years 2 months ago
Generic attribute deviation metric for assessing mesh simplification algorithm quality
This paper describes an efficient method to compare two triangular meshes. Meshes considered here contain geometric features as well as other surface attributes such as material c...
Frédéric Truchetet, Michaël Roy...
101
Voted
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 1 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
113
Voted
EWSN
2009
Springer
16 years 1 months ago
QoS Management for Wireless Sensor Networks with a Mobile Sink
The problem of configuration of Wireless Sensor Networks is an interesting challenge. The objective is to find the settings, for each sensor node, that optimise certain task-level ...
Rob Hoes, Twan Basten, Wai-Leong Yeow, Chen-Khong ...