7861 search results - page 400 / 1573 » Orthographic Modeling Environment |
195
click to vote
CSCL
2006
15 years 6 months ago
2006
Future CSCL technologies are described by the community as flexible, tailorable, negotiable, and appropriate for various collaborative settings, conditions and contexts. This paper...
168
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
172
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...
177
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
164
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper presents a new model for understanding the appearance of objects that exhibit both body and surface reflection under realistic illumination. Specifically, the model rep...