258 search results - page 3 / 52 » Combining Instance Generation and Resolution |
VLDB
2005
ACM
13 years 11 months ago
2005
ACM
We demonstrate a prototype that translates schemas from a source metamodel (e.g., OO, relational, XML) to a target metamodel. The prototype is integrated with Microsoft Visual Stu...
TAP
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
ACL
2006
13 years 7 months ago
2006
We present an approach to pronoun resolution based on syntactic paths. Through a simple bootstrapping procedure, we learn the likelihood of coreference between a pronoun and a can...
3DIM
2007
IEEE
14 years 4 days ago
2007
IEEE
This paper presents a new approach for generation of superresolution stereoscopic and multi-view video from monocular video. Such multi-view video is used for instance with multi-...
DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...