4679 search results - page 193 / 936 » Modeling When Connections Are the Problem |
142
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
This paper proposes a discriminative framework for efficiently aligning images. Although conventional Active Appearance Models (AAM)-based approaches have achieved some success, t...
166
click to vote
MTV
2003
IEEE
15 years 10 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
153
click to vote
IADIS
2004
15 years 6 months ago
2004
We have developed models of how strategies are constructed and retained as male and female high school and university students gain experience in solving online qualitative chemic...
150
click to vote
FMOODS
2006
15 years 6 months ago
2006
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...
119
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
—Connecting system-level performance models with circuit information has been a long-standing problem in analog/mixed-signal front-ends, like radios and high-speed links. High-sp...