72 search results - page 15 / 15 » Automatic Generation of Local Repairs for Boolean Programs |
VIS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we present a volume roaming system dedicated to oil and gas exploration. Our system combines probebased volume rendering with data processing and computing. The dai...
KI
2004
Springer
15 years 2 months ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...