4635 search results - page 217 / 927 » Modeling Design Knowledge on Structure |
133
click to vote
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents and discusses the syllabus of a second cycle degree on Software Engineering in which any student that finishes any undergraduate Computing degree (Computer Eng...
163
Voted
TPCD
1994
15 years 5 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
149
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
In this paper, efficient and generic tools for calibration and 3D reconstruction are presented. These tools exploit geometric constraints frequently present in man-made environmen...
147
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The prediction of protein structure can be facilitated by the use of constraints based on a knowledge of functional sites. Without this information it is still possibl...
122
Voted
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...