Sciweavers

23119 search results - page 72 / 4624
» From Domain to Requirements
Sort
View
SAT
2007
Springer
81views Hardware» more  SAT 2007»
15 years 3 months ago
Short XORs for Model Counting: From Theory to Practice
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...
NIPS
2001
14 years 11 months ago
Generalizable Relational Binding from Coarse-coded Distributed Representations
We present a model of binding of relationship information in a spatial domain (e.g., square above triangle) that uses low-order coarse-coded conjunctive representations instead of...
Randall C. O'Reilly, R. S. Busby
CCR
2008
90views more  CCR 2008»
14 years 10 months ago
Censor networks: a critique of "sensor networks" from a systems perspective
This writeup presents a critique of the field of "Wireless Sensor Networks (WSNs)". Literature in this domain falls into two main, distinct categories: (1) algorithms or...
Bhaskaran Raman, Kameswari Chebrolu
ISBI
2004
IEEE
15 years 10 months ago
Simultaneous Estimation of Kinetic Parameters and the Input Function from DCE-MRI Data: Theory and Simulation
DCE-MRI is a noninvasive functional imaging technique capable of assessing tumor microvasculature clinically. Major limitations associated with conventional region-of-interest (RO...
Zhu Han, Z. Jane Wang, K. J. Ray Liu, Yue Wang
AAAI
2008
15 years 4 days ago
Predicting Appropriate Semantic Web Terms from Words
The Semantic Web language RDF was designed to unambiguously define and use ontologies to encode data and knowledge on the Web. Many people find it difficult, however, to write com...
Lushan Han, Tim Finin