5550 search results - page 276 / 1110 » Different Approaches to Proof Systems |
178
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
In recent years, statistically motivated approaches for the registration and tracking of non-rigid objects, such as the Active Appearance Model (AAM), have become very popular. A ...
194
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
191
click to vote
EDM
2008
15 years 8 months ago
2008
This paper discusses our approach to building models and analyzing student behaviors in different versions of our learning by teaching environment where students learn by teaching ...
185
click to vote
BERTINORO
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we envision a world where a software engineer could take an existing software system, specify, for a set of properties of interest, an objective, conditions for chan...
176
click to vote
EDUTAINMENT
2007
Springer
16 years 25 days ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...