Sciweavers

4815 search results - page 315 / 963
» A Pattern Approach to Modeling the Provider Selection Proble...
Sort
View
ICPR
2006
IEEE
16 years 6 months ago
Multi-View Active Shape Model with Robust Parameter Estimation
Active Shape Model is an efficient way for localizing objects with variable shapes. When ASM is extended to multiview cases, the parameter estimation approaches in previous works ...
Li Zhang, Haizhou Ai
166
Voted
AR
2007
138views more  AR 2007»
15 years 5 months ago
Integrating robotics and neuroscience: brains for robots, bodies for brains
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
Michele Rucci, Daniel Bullock, Fabrizio Santini
161
Voted
EMNLP
2009
15 years 2 months ago
A Bayesian Model of Syntax-Directed Tree to String Grammar Induction
Tree based translation models are a compelling means of integrating linguistic information into machine translation. Syntax can inform lexical selection and reordering choices and...
Trevor Cohn, Phil Blunsom
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
16 years 1 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
WWW
2007
ACM
16 years 5 months ago
Generating efficient labels to facilitate web accessibility
For many users with a disability it can be difficult or impossible to use a computer mouse to navigate the web. An alternative way to select elements on a web page is the label ty...
Leo Spalteholz, Kin Fun Li, Nigel Livingston