Sciweavers

29143 search results - page 455 / 5829
» A Sortation System Model
Sort
View
QEST
2007
IEEE
16 years 1 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
ICDAR
2003
IEEE
16 years 3 days ago
Bayesian Network Modeling of Hangul Characters for On-line Handwriting Recognition
In this paper, we propose a Bayesian network framework for explicitly modeling components and their relationships of Korean Hangul characters. A Hangul character is modeled with h...
Sung-Jung Cho, Jin Hyung Kim
DAC
2003
ACM
16 years 7 months ago
Scalable modeling and optimization of mode transitions based on decoupled power management architecture
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
Dexin Li, Qiang Xie, Pai H. Chou
CRV
2009
IEEE
158views Robotics» more  CRV 2009»
16 years 1 months ago
Automated Spatial-Semantic Modeling with Applications to Place Labeling and Informed Search
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
Pooja Viswanathan, David Meger, Tristram Southey, ...
ICDIM
2008
IEEE
16 years 1 months ago
Dynamic detection and administration of materialized views based on the Query Graph Model
Database Management Systems (DBMS) are complex software systems which are used in an increasing number of applications. To obtain the best performance for business relevant applic...
Andreas Lübcke, Ingolf Geist, Ronny Bubke