Sciweavers

192 search results - page 20 / 39
» Boolean Matching Using Generalized Reed-Muller Forms
Sort
View
ITC
1995
IEEE
122views Hardware» more  ITC 1995»
15 years 3 months ago
A Fault Model and a Test Method for Analog Fuzzy Logic Circuits
A nalog circuit implementations of fuzzy logic are characterized by performing logical connectives of analog signals. They can be considered as generalization of digital circuits ...
Stefan Weiner
CORR
2002
Springer
123views Education» more  CORR 2002»
14 years 11 months ago
Survey propagation: an algorithm for satisfiability
: We study the satisfiability of randomly generated formulas formed by M clauses of exactly K literals over N Boolean variables. For a given value of N the problem is known to be m...
Alfredo Braunstein, Marc Mézard, Riccardo Z...
ICMI
2009
Springer
105views Biometrics» more  ICMI 2009»
15 years 6 months ago
Grounding spatial prepositions for video search
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
Stefanie Tellex, Deb Roy
CORR
2004
Springer
100views Education» more  CORR 2004»
14 years 11 months ago
On Spatial Conjunction as Second-Order Logic
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
Viktor Kuncak, Martin C. Rinard
EMNLP
2009
14 years 9 months ago
Graphical Models over Multiple Strings
We study graphical modeling in the case of stringvalued random variables. Whereas a weighted finite-state transducer can model the probabilistic relationship between two strings, ...
Markus Dreyer, Jason Eisner