72 search results - page 15 / 15 » Automatic Generation of Local Repairs for Boolean Programs |
VIS
2005
IEEE
14 years 7 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
13 years 11 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...