262 search results - page 32 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
124
click to vote
ICIP
1994
IEEE
16 years 5 months ago
1994
IEEE
In this paper, we develop a Bayesian feedback method for incorporating global structure into prior models for binocular stereopsis. Since most stereo scenes contain either backgro...
152
click to vote
IWRIDL
2006
ACM
15 years 10 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
126
Voted
WSC
2004
15 years 5 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
156
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
128
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
With the growing number of programmable processing elements in today's MultiProcessor System-on-Chip (MPSoC) designs, the synergy required for the development of the hardware...