4890 search results - page 317 / 978 » From system specifications to component behavioral models |
206
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper proposes a fully automated 3D reconstruction
and visualization system for architectural scenes (interiors
and exteriors). The reconstruction of indoor environments
fr...
180
click to vote
NIPS
2007
15 years 8 months ago
2007
Current computational models of bottom-up and top-down components of attention are predictive of eye movements across a range of stimuli and of simple, fixed visual tasks (such a...
166
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
173
click to vote
UMUAI
2008
15 years 6 months ago
2008
Abstract. Self-efficacy is an individual's belief about her ability to perform well in a given situation. Because selfefficacious students are effective learners, endowing int...
205
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Malware has become the centerpiece of most security threats on the Internet. Malware analysis is an essential technology that extracts the runtime behavior of malware, and supplie...