3780 search results - page 266 / 756 » Structured Relation Discovery using Generative Models |
283
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
187
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
198
click to vote
ENTCS
2008
15 years 6 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
186
click to vote
IVC
2002
15 years 6 months ago
2002
In this paper we address the problem of recovering structure and motion from the apparent contours of a smooth surface. Fixed image features under circular motion and their relati...
235
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
Systems for managing and querying semistructured-data sources often store data in proprietary object repositories or in a tagged-text format. We describe a technique that can use ...