1101 search results - page 88 / 221 » Forcing in proof theory |
114
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
—Capsule endoscopy is a promising technique for diagnosing diseases in the small intestines. Here we propose a miniature swimming mechanism that uses MRI’s magnetic fields for ...
102
Voted
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
76
Voted
CACM
2002
15 years 13 days ago
2002
ion, reviews, rigorous procedures, regression testing, metrics, and so forth) have been helpful, but we are still dealing with an intrinsically unsatisfactory situation. Especially...
103
Voted
CADE
2001
Springer
16 years 27 days ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
122
Voted
WEA
2010
Springer
15 years 7 months ago
2010
Springer
This paper shows that using some very simple practical assumptions, one can design an algorithm that finds the nearest neighbor of a given query point in O(log n) time in theory ...