3228 search results - page 183 / 646 » Computationally Sound Proofs |
181
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
176
click to vote
AMC
2006
15 years 6 months ago
2006
In this paper, the decision making problems with the dependence and the feedback effects are considered. Although the analytic network/hierarchy process (ANP/AHP) has been propose...
177
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
The development of small wireless sensors and smart-phones, which include various sound, video, motion and location sensors have facilitated new pervasive applications. These perva...
175
click to vote
CIE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for...
165
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
: A proof of concept web search and navigation system was developed for older people for whom the Internet is seen as an alien territory. A joint industry/academia team deployed Us...