Sciweavers

5398 search results - page 836 / 1080
» On the Effective Use of Software Standards in Systems Integr...
Sort
View
BILDMED
2008
206views Algorithms» more  BILDMED 2008»
15 years 8 months ago
Hatch Textures for Virtual Endoscopy
Abstract. We present an illustrative rendering extension for virtual endoscopy to enhance depth perception. For this purpose different hatch textures are applied and their ability ...
C. Schaller, Daniela I. Wellein, Silvia Born, Dirk...
SIGMOD
1997
ACM
107views Database» more  SIGMOD 1997»
15 years 11 months ago
Picture Programming Project
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
Nita Goyal, Charles Hoch, Ravi Krishnamurthy, Bria...
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 6 months ago
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
Rohit Chadha, Mahesh Viswanathan
IWPC
2006
IEEE
16 years 22 days ago
Dynamic Data Structure Analysis for Java Programs
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
Sokhom Pheng, Clark Verbrugge
AVI
2010
15 years 8 months ago
GPS and road map navigation: the case for a spatial framework for semantic information
Urban environments require cognitive abilities focused on both spatial overview and detailed understanding of uses and places. These abilities are distinct but overlap and reinfor...
Ginette Wessel, Caroline Ziemkiewicz, Remco Chang,...