3378 search results - page 174 / 676 » A universe of binding and computation |
192
click to vote
GC
2011
Springer
14 years 10 months ago
2011
Springer
ties: Graded for Calculus III and substituted in Abstract Algebra • Adjunct Instructor, Tri-County Technical College (2005) (864) 646-1368 Courses Taught: Intermediate Algebra, C...
174
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
Energy minimization is an important step in molecular modeling, with applications in molecular docking and in mapping binding sites. Minimization involves repeated evaluation of v...
163
click to vote
FMOODS
2007
15 years 8 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
201
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In this paper, we present an enhanced Pictorial Struc-
ture (PS) model for precise eye localization, a fundamen-
tal problem involved in many face processing tasks. PS is
a comp...
193
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
An important research area in computer vision is developing
algorithms that can reconstruct the 3D surface of an object
represented by a single 2D line drawing. Previous work
on...