854 search results - page 152 / 171 » Relational Model Driven Application Design |
EDBT
2006
ACM
14 years 10 months ago
2006
ACM
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
CCGRID
2009
IEEE
14 years 5 months ago
2009
IEEE
The use of today’s multicluster grids exhibits periods of submission bursts with periods of normal use and even of idleness. To avoid resource contention, many users employ obse...
ICIP
2008
IEEE
14 years 4 months ago
2008
IEEE
—Beyond conventional linear and kernel-based feature extraction, we present a more generalized formulation for feature extraction in this paper. Two representative algorithms usi...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper, the dynamic model of a robot with antagonistic actuated joints is presented, and the problem of full linearization via static state feedback is analyzed. The use...