281 search results - page 12 / 57 » A Method for Invariant Generation for Polynomial Continuous ... |
POPL
2002
ACM
14 years 8 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
MICCAI
2001
Springer
14 years 2 days ago
2001
Springer
This paper presents a user-steered segmentation algorithm based on the livewire paradigm. Livewire is an image-feature driven method that finds the optimal path between user-selec...
BMCBI
2010
13 years 7 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
PG
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we describe a method for exact evaluation of a limit mesh defined via subdivision on a uniform grid of any size. Other exact evaluation technique either restrict t...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
The paper introduces an action recognition framework that uses concepts from the theory of chaotic systems to model and analyze nonlinear dynamics of human actions. Trajectories o...