Sciweavers

490 search results - page 30 / 98
» Abstraction Augmented Markov Models
Sort
View
ECCV
2008
Springer
16 years 3 months ago
Analysis of Building Textures for Reconstructing Partially Occluded Facades
Abstract. As part of an architectural modeling project, this paper investigates the problem of understanding and manipulating images of buildings. Our primary motivation is to auto...
Thommen Korah, Christopher Rasmussen
ICPR
2010
IEEE
15 years 8 months ago
Typographical Features for Scene Text Recognition
Scene text images feature an abundance of font style variety but a dearth of data in any given query. Recognition methods must be robust to this variety or adapt to the query data...
Jerod Weinman
CHI
2010
ACM
15 years 8 months ago
Leveraging gesture and voice data to improve group brainstorming
We seek to investigate how co-located group brainstorming could be enhanced through computational tools that leverage gestures and voice cues. To pursue this goal we are developin...
Deirdre Garrahan, Orit Shaer, Andreya Piplica, Kev...
QEST
2010
IEEE
14 years 12 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
RP
2009
Springer
136views Control Systems» more  RP 2009»
15 years 8 months ago
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Gu...