1176 search results - page 90 / 236 » Implicit Abstraction Heuristics |
133
Voted
AAECC
2007
Springer
15 years 22 days ago
2007
Springer
Abstract We describe a method to approximate a segment of the intersection curve of two implicitly defined surfaces by a rational parametric curve. Starting from an initial soluti...
100
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
102
Voted
LRE
2008
15 years 16 days ago
2008
Abstract. We introduce LTAG-spinal, a novel variant of traditional Lexicalized Tree Adjoining Grammar (LTAG) with desirable linguistic, computational and statistical properties. Un...
81
Voted
MP
2006
15 years 16 days ago
2006
Abstract. There is a natural norm associated with a starting point of the homogeneous selfdual (HSD) embedding model for conic convex optimization. In this norm two measures of the...
104
Voted
SCN
2008
Springer
15 years 15 days ago
2008
Springer
Abstract-- Vehicular ad hoc networks (VANETs) represent a promising new communication technology that can facilitate many new forms of automotive applications. Many of the applicat...