1236 search results - page 212 / 248 » Prefix-Like Complexities and Computability in the Limit |
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper presents a topologically adaptable snakes model for image segmentation and object representation. The model is embedded in the framework of domain subdivision using sim...
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
Severalmethodshavebeenproposedto compile recursive Datalog programs. The most well-known perform a rewriting of rules using MAGIC or PROBLEM predicates in order to push selections...
ICPR
2010
IEEE
15 years 5 days ago
2010
IEEE
Most existing performance evaluation methods concentrate on defining separate metrics over a wide range of conditions and generating standard benchmarking video sequences for exam...
CMSB
2008
Springer
14 years 11 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...