203 search results - page 39 / 41 » LD2SD: Linked Data Driven Software Development |
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
The purpose of this research is to realize a small robot which can negotiate pipes whose diameter varies widely during the robot’s course. A new in-pipe locomotion mechanism nam...
MSS
2000
IEEE
14 years 2 months ago
2000
IEEE
The InTENsity PowerWall is a display system used for high-resolution visualization of very large volumetric data sets. The display is linked to two separate computing environments...
ISBRA
2010
Springer
14 years 4 months ago
2010
Springer
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...
ICFP
2007
ACM
14 years 9 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
WSC
1998
13 years 11 months ago
1998
The design of a quality timetable for the Dutch Railways is a complex task, because of the characteristics of the railway services. The complexity of the network and the heavily i...