4397 search results - page 226 / 880 » Relational Algebra Operations |
156
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
164
click to vote
TOG
2012
13 years 6 months ago
2012
We present a novel representation of maps between pairs of shapes that allows for efficient inference and manipulation. Key to our approach is a generalization of the notion of m...
133
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
129
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
123
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...