4013 search results - page 505 / 803 » computer 2002 |
162
click to vote
VISUALIZATION
2002
IEEE
15 years 10 months ago
2002
IEEE
Isosurfaces are commonly used to visualize scalar fields. Critical isovalues indicate isosurface topology changes: the creation of new surface components, merging of surface comp...
123
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Robert French has argued that a disembodied computer is incapable of passing a Turing Test that includes subcognitive questions. Subcognitive questions are designed to probe the n...
121
click to vote
ENTCS
2002
15 years 5 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
160
Voted
TCAD
2002
15 years 5 months ago
2002
The objective of this work is to create a framework for the optimization of embedded software. We present algorithms and a tool flow to reduce the computational effort of programs,...
163
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...