2611 search results - page 313 / 523 » A Logic for Concepts and Similarity |
196
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
168
click to vote
TMC
2012
13 years 9 months ago
2012
In this paper we study the availability of TV white spaces in Europe. Specifically, we focus on the 470–790 MHz UHF band, which will predominantly remain in use for TV broadcas...
208
click to vote
TMC
2012
13 years 9 months ago
2012
—We present the boomerang protocol to efficiently retain information at a particular geographic location in a sparse network of highly mobile nodes without using infrastructure ...
405
click to vote
Book
"Spatial structures and spatial reasoning are essential to perception and cognition. Much
day-to-day practical information is about what happens at certain spatial locations....
167
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...