4460 search results - page 218 / 892 » Formal methods for interactive systems |
176
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The present research scholars are having keen interest in doing their research activities in the area of Data mining all over the world. Especially, [13]Mining Image data is the o...
157
click to vote
TYPES
1998
Springer
15 years 8 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
164
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
185
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Among humans, teaching various tasks is a complex process which relies on multiple means for interaction and learning, both on the part of the teacher and of the learner. Used tog...
162
click to vote
FMCAD
2007
Springer
15 years 8 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...