9730 search results - page 278 / 1946 » Relating models of backtracking |
223
click to vote
BMVC
2001
15 years 7 months ago
2001
In this paper we present a system that combines the benefits of 3D deformable models and level set methods for medical volume segmentation. Our 3D deformable model is a very comp...
141
Voted
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
195
click to vote
CMG
2008
15 years 6 months ago
2008
One of the challenges in building analytic performance models such as queuing network models is obtaining service demands for the various workloads and various devices. While some...
143
click to vote
RIAO
2007
15 years 6 months ago
2007
According to some current thinking, a very large number of semantic concepts could provide researcher a novel way to characterize video and be utilized for video retrieval and und...
124
click to vote
EACL
2006
ACL Anthology
15 years 6 months ago
2006
ACL Anthology
In this paper, we explore statistical language modelling for a speech-enabled MP3 player application by generating a corpus from the interpretation grammar written for the applica...