Sciweavers

742 search results - page 68 / 149
» Model Independent Order Relations for Processes
Sort
View
ISTA
2001
15 years 1 months ago
A Technique for Information System Integration
: Nowadays, a central topic in database science is the need of an integrated access to large amounts of data provided by various information sources whose contents are strictly rel...
Sergio Greco, Luigi Pontieri, Ester Zumpano
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 5 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
ACL
2003
15 years 1 months ago
Generalized Algorithms for Constructing Statistical Language Models
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...
Cyril Allauzen, Mehryar Mohri, Brian Roark
ECCV
2008
Springer
16 years 1 months ago
A Probabilistic Approach to Integrating Multiple Cues in Visual Tracking
Abstract. This paper presents a novel probabilistic approach to integrating multiple cues in visual tracking. We perform tracking in different cues by interacting processes. Each p...
Wei Du, Justus H. Piater
AAAI
1996
15 years 1 months ago
Estimating the Absolute Position of a Mobile Robot Using Position Probability Grids
In order to re-use existing models of the environment mobile robots must be able to estimate their position and orientation in such models. Most of the existing methods for positi...
Wolfram Burgard, Dieter Fox, Daniel Hennig, Timo S...