Sciweavers

3235 search results - page 136 / 647
» Partial Redundant Modeling
Sort
View
AICOM
2005
97views more  AICOM 2005»
15 years 4 months ago
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
Bert Bredeweg, Paulo Salles
CORR
2008
Springer
131views Education» more  CORR 2008»
15 years 4 months ago
Towards a More Accurate Carrier Sensing Model for CSMA Wireless Networks
Abstract--In the majority of studies on CSMA wireless networks, a contention graph is used to model the carrier sensing relationships among links. This is a 0-1 model in which two ...
Caihong Kai, Soung Chang Liew
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
15 years 10 months ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
ICCV
2009
IEEE
16 years 9 months ago
Modeling Deformable Objects from a Single Depth Camera
We propose a novel approach to reconstruct complete 3D deformable models over time by a single depth camera, provided that most parts of the models are observed by the camera at...
Miao Liao, Qing Zhang, Huamin Wang, Ruigang Yang, ...
ICASSP
2009
IEEE
15 years 11 months ago
Exploiting user feedback for language model adaptation in meeting recognition
We investigate language model (LM) adaptation in a meeting recognition application, where the LM is adapted based on recognition output from relevant prior meetings and partial ma...
Dimitra Vergyri, Andreas Stolcke, Gökhan T&uu...