Sciweavers

2012 search results - page 221 / 403
» Lane-Change Detection Using a Computational Driver Model
Sort
View
138
Voted
STOC
2009
ACM
181views Algorithms» more  STOC 2009»
16 years 4 months ago
The detectability lemma and quantum gap amplification
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...
Dorit Aharonov, Itai Arad, Zeph Landau, Umesh V. V...
BMCBI
2008
102views more  BMCBI 2008»
15 years 3 months ago
Ornithine decarboxylase antizyme finder (OAF): Fast and reliable detection of antizymes with frameshifts in mRNAs
Background: Ornithine decarboxylase antizymes are proteins which negatively regulate cellular polyamine levels via their affects on polyamine synthesis and cellular uptake. In vir...
Michaël Bekaert, Ivaylo P. Ivanov, John F. At...
BMVC
2010
15 years 1 months ago
Back to the Future: Learning Shape Models from 3D CAD Data
Recognizing 3D objects from arbitrary view points is one of the most fundamental problems in computer vision. A major challenge lies in the transition between the 3D geometry of o...
Michael Stark, Michael Goesele, Bernt Schiele
118
Voted
KI
2004
Springer
15 years 8 months ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
ICPR
2010
IEEE
15 years 6 months ago
Initialisation-Free Active Contour Segmentation
We present a region based active contour model which does not require any initialisation and is capable of modelling multi-modal image regions. Its external force is based on stat...
Xianghua Xie, Majid Mirmehdi