19003 search results - page 395 / 3801 » We Need Assurance |
164
Voted
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
Massive digitization programs need massive visualization techniques for quality control. We describe the functional prototype of a 3D interactive environment enabling a rapid inspe...
192
Voted
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
There are already several tools available that are capable of visualizing RDF data. The problem with RDF data is that they tend to be very large. To handle the data, the visualize...
179
click to vote
AFP
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
169
Voted
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— A central problem in robotics is planning a collision-free path for a moving object in an environment with obstacles. Contemporary applications require a path planner that is f...
164
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...