1176 search results - page 17 / 236 » Implicit Abstraction Heuristics |
87
Voted
LCPC
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We describe the structure of a compilation system that generates code for processor architectures supporting both explicit and implicit parallel threads. Such architectur...
111
click to vote
BIRTHDAY
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
108
Voted
VLSM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we propose a novel technique to address motion estimation and tracking. Such technique represents the motion field using a regular grid of thin-plate spli...
104
click to vote
VLDB
1991
ACM
15 years 3 months ago
1991
ACM
Queries in object-oriented datab;Lqcs are formulated against a class and retrieve instnnccls of the class sat,isfying a certain predicate on the att,riblltes of the class. The pre...
113
click to vote
SIAMSC
2010
14 years 10 months ago
2010
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...