1941 search results - page 333 / 389 » Reasoning about Computations Using Two-Levels of Logic |
CHI
2004
ACM
16 years 7 days ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...
129
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
140
click to vote
AI
1998
Springer
15 years 4 months ago
1998
Springer
A variety of hybrid genetic algorithms has been recently proposed to address the vehicle routing problem with time windows (VRPTW), a problem known to be NP-hard. However, very few...
CONCUR
2008
Springer
15 years 1 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
CAD
2000
Springer
14 years 11 months ago
2000
Springer
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...