434 search results - page 38 / 87 » A Semantic Caching Method Based on Linear Constraints |
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a new Finite Impulse Response (FIR) model for hemodynamics in functional brain images. Like other FIR models, our method permits a flexible formulation of the hemodyna...
SIGGRAPH
1990
ACM
14 years 21 days ago
1990
ACM
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...
TACAS
1999
Springer
14 years 28 days ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
ISKI
1992
14 years 22 days ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
ICECCS
1998
IEEE
14 years 28 days ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...