Sciweavers

6368 search results - page 212 / 1274
» Modeling Problem Transformations based on Data Complexity
Sort
View
VLDB
2007
ACM
122views Database» more  VLDB 2007»
16 years 6 months ago
MIST: Distributed Indexing and Querying in Sensor Networks using Statistical Models
The modeling of high level semantic events from low level sensor signals is important in order to understand distributed phenomena. For such content-modeling purposes, transformat...
Arnab Bhattacharya, Anand Meka, Ambuj K. Singh
ENTCS
2007
156views more  ENTCS 2007»
15 years 6 months ago
Bounded Model Checking with Parametric Data Structures
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
Erika Ábrahám, Marc Herbstritt, Bern...
175
Voted
ICCV
1999
IEEE
16 years 8 months ago
Using Model-Driven Bundle-Adjustment to Model Heads from Raw Video Sequences
We show that we can effectively and automatically fit a complex facial animation model to uncalibrated image sequences. Our approach is based on model-driven bundleadjustment foll...
Pascal Fua
ISCAPDCS
2004
15 years 8 months ago
Location Based Access to Moving Data Sources
Location based services in mobile environments have been recognized as a challenging problem that calls for new service models and dynamic strategies. The problem becomes even har...
Shiow-yang Wu, Wei-chung Ko
147
Voted
ACL
2010
15 years 4 months ago
Intelligent Selection of Language Model Training Data
We address the problem of selecting nondomain-specific language model training data to build auxiliary language models for use in tasks such as machine translation. Our approach i...
Robert C. Moore, William Lewis