3760 search results - page 2 / 752 » Logic-Based Probabilistic Modeling |
168
click to vote
SIGIR
1998
ACM
15 years 10 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
149
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...
167
click to vote
GCC
2007
Springer
15 years 10 months ago
2007
Springer
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
139
click to vote
ITP
2010
15 years 10 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...