5388 search results - page 326 / 1078 » The Active Elastic Model |
156
click to vote
JOCN
2006
15 years 6 months ago
2006
In an event-related fMRI study, we investigated the neurocognitive processes underlying deductive reasoning. We specifically focused on three temporally separable phases: (1) the ...
171
click to vote
FUIN
2007
15 years 6 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
195
click to vote
GAMESEC
2010
15 years 4 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
206
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
We present an estimation-theoretic approach to curve evolution for the Mumford-Shah problem. By viewing an active contour as the set of discontinuities in the Mumford-Shah problem...
156
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...