419 search results - page 48 / 84 » Automatic Synthesis of Real Time Systems |
142
click to vote
MIS
2006
Springer
15 years 4 months ago
2006
Springer
LiveMail is a prototype system that allows mobile subscribers to communicate using personalized 3D face models created from images taken by their phone cameras. The user takes a s...
126
click to vote
FPL
2005
Springer
15 years 9 months ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...
148
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
138
Voted
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
148
click to vote
IVC
2006
15 years 4 months ago
2006
We present a systematic comparison of machine learning methods applied to the problem of fully automatic recognition of facial expressions, including AdaBoost, support vector mach...