4107 search results - page 697 / 822 » The Generalized Lambda Test |
201
click to vote
PODS
2008
ACM
16 years 7 months ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
205
click to vote
ICIAP
2007
ACM
16 years 7 months ago
2007
ACM
This work is about a novel methodology for window detection in urban environments and its multiple use in vision system applications. The presented method for window detection inc...
169
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
159
Voted
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Consider a placement of heterogeneous, wireless sensors that can vary the transmission range by increasing or decreasing power. The problem of determining an optimal assignment of ...
202
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Software failures in wireless sensor systems are notoriously difficult to debug. Resource constraints in wireless deployments substantially restrict visibility into the root cause...