4573 search results - page 796 / 915 » Automated Reasoning |
238
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
261
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
131
click to vote
PERCOM
2003
ACM
16 years 2 months ago
2003
ACM
Ubiquitous computing has fueled the idea of constructing sentient, information-rich "smart spaces" that extend the boundaries of traditional computing to encompass physi...
103
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
116
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
We propose an automatic approach to tree detection from aerial imagery. First a pixel-level classifier is trained to assign a {tree, non-tree} label to each pixel in an aerial im...