3381 search results - page 31 / 677 » Extending Dependencies with Conditions |
ICMT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper considers the synthesis of infinity norm Lyapunov functions for discrete-time linear systems. A proper conic partition of the state-space is employed to construct a fini...
PODS
2010
ACM
15 years 3 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
HPCA
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a new instruction-supply mechanism, called the eXtended Block Cache (XBC). The goal of the XBC is to improve on the Trace Cache (TC) hit rate, while providing...
KBS
2008
14 years 10 months ago
2008
We present a robust road detection and tracking method using multiple vanishing points and the condensation filter. We represent the road using an extended hyperbola model with an...