4047 search results - page 448 / 810 » Algebraic Model Checking |
173
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Circadian clocks are biochemical networks, present in nearly all living organisms, whose function is to regulate the expression of specific mRNAs and proteins to synchronise rhyth...
189
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
159
click to vote
IVC
2007
15 years 6 months ago
2007
Deformable model tracking is a powerful methodology that allows us to track the evolution of high-dimensional parameter vectors from uncalibrated monocular video sequences. The co...
274
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...
188
click to vote
ACSD
2003
IEEE
16 years 2 days ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...