3844 search results - page 720 / 769 » Modular interpreted systems |
104
click to vote
SCHULE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract: AtoCC (http://www.atocc.de) ist eine modular aufgebaute Lehr-/ Lernumgebung für ausgewählte Inhalte der theoretischen Informatik (formale Sprachen und Automaten) und Gr...
122
click to vote
VIS
2006
IEEE
16 years 3 months ago
2006
IEEE
Current practice in particle visualization renders particle position data directly onto the screen as points or glyphs. Using a camera placed at a fixed position, particle motions...
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
It is a well documented fact that, for human readers, familiar text is more legible than unfamiliar text. Current-generation computer vision systems also are able to exploit some ...
136
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
120
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...