6368 search results - page 1054 / 1274 » Modeling Problem Transformations based on Data Complexity |
176
click to vote
GRAPHITE
2006
ACM
16 years 14 days ago
2006
ACM
—This paper demonstrates the simple yet effective usage of height fields for interactive landscape visualizations using a ray casting approach implemented in the pixel shader of...
149
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Decision Support Systems (DSS) are information systems that support decision making processes. In many scenarios these systems are built on top of data managed by DBMSs and make e...
163
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
195
click to vote
EUROMICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
174
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...