13784 search results - page 2035 / 2757 » On Computing Functions with Uncertainty |
198
click to vote
ADC
2006
Springer
16 years 1 months ago
2006
Springer
Searching bio-chemical structures is becoming an important application domain of information retrieval. This paper introduces a protein structure matching problem and formulates i...
208
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
224
click to vote
APGV
2006
ACM
16 years 1 months ago
2006
ACM
Study of contrast sensitivity of the human eye shows that our contrast discrimination sensitivity follows the weber law for suprathreshold levels. In this paper, we apply this fac...
200
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
Confronted with the generalization of monitoring in operational networks, researchers have proposed placement algorithms that can help ISPs deploy their monitoring infrastructure ...
198
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
Optimally choosing operating parameters for access points in an enterprise wireless LAN environment is a difficult and well-studied problem. Unlike past work, the SMARTA self-man...