7988 search results - page 42 / 1598 » A Useful Undecidable Theory |
NFM
2011
13 years 3 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
CE
2005
13 years 8 months ago
2005
Personalized service is important on the Internet, especially in Web-based learning. Generally, most personalized systems consider learner preferences, interests, and browsing beh...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper presents scheduling strategies for sensing workload in wireless sensor networks using Divisible Load Theory (DLT), which offers a tractable model and realist...
HASKELL
2005
ACM
14 years 2 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
CLIN
2004
13 years 10 months ago
2004
Research on Question Answering is focused mainly on classifying the question type and finding the answer. Presenting the answer in a way that suits the user's needs has recei...