Sciweavers

4488 search results - page 191 / 898
» Properties of NP-Complete Sets
Sort
View
TAP
2010
Springer
102views Hardware» more  TAP 2010»
14 years 1 months ago
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
Eugene Goldberg, Panagiotis Manolios
COMPGEOM
1994
ACM
14 years 13 days ago
Matching Shapes with a Reference Point
For two given point sets, we present a very simple (almost trivial) algorithm to translate one set so that the Hausdor distance between the two sets is not larger than a constant ...
Helmut Alt, Oswin Aichholzer, Günter Rote
ALGOSENSORS
2006
Springer
14 years 2 days ago
Declarative Resource Naming for Macroprogramming Wireless Networks of Embedded Systems
Programming Wireless Networks of Embedded Systems (WNES) is notoriously difficult and tedious. To simplify WNES programming, we propose Declarative Resource Naming (DRN) to progra...
Chalermek Intanagonwiwat, Rajesh K. Gupta, Amin Va...
FLAIRS
2007
13 years 10 months ago
An Approach to Email Categorization with the ME Model
This paper puts forward a hierarchical approach for categorizing emails with the ME model based on its contents and properties. This approach categorizes emails in a two-phase way...
Peifeng Li, Jinhui Li, Qiaoming Zhu
COLING
2008
13 years 9 months ago
Explaining Similarity of Terms
Computing the similarity between entities is a core component of many NLP tasks such as measuring the semantic similarity of terms for generating a distributional thesaurus. In th...
Vishnu Vyas, Patrick Pantel