Sciweavers

36320 search results - page 408 / 7264
» From Code to Models
Sort
View
195
Voted
IJCAI
2007
15 years 8 months ago
From Sampling to Model Counting
We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previ...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...
IJBRA
2008
97views more  IJBRA 2008»
15 years 6 months ago
Extracting Protein-Protein Interactions from MEDLINE using the Hidden Vector State model
: A major challenge in text mining for biomedicine is automatically extracting protein-protein interactions from the vast amount of biomedical literature. We have constructed an in...
Deyu Zhou, Yulan He, Chee Keong Kwoh
ICASSP
2011
IEEE
14 years 10 months ago
How to perform texture recognition from stochastic modeling in the wavelet domain
The paper addresses content-based image retrieval from texture databases, by using stochastic modeling in the wavelet domain. It proposes an analysis of the key parameters involve...
Abdourrahmane M. Atto, Yannick Berthoumieu
LICS
2003
IEEE
16 years 2 days ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
CGF
2008
151views more  CGF 2008»
15 years 6 months ago
Reconstructing head models from photographs for individualized 3D-audio processing
Visual fidelity and interactivity are the main goals in Computer Graphics research, but recently also audio is assuming an important role. Binaural rendering can provide extremely...
Matteo Dellepiane, Nico Pietroni, Tsingos Tsingos,...