Sciweavers

7421 search results - page 42 / 1485
» In search of dependable design
Sort
View
VMV
2001
117views Visualization» more  VMV 2001»
15 years 7 months ago
Tracking Closed Streamlines in Time Dependent Planar Flows
Closed streamlines are a missing part in most visualizations of vector field topology. In this paper, we propose a method which detects closed streamlines in a time-dependent two-...
Thomas Wischgoll, Gerik Scheuermann, Hans Hagen
EWCBR
2008
Springer
15 years 8 months ago
Real-Time Plan Adaptation for Case-Based Planning in Real-Time Strategy Games
Abstract. Case-based planning (CBP) is based on reusing past successful plans for solving new problems. CBP is particularly useful in environments where the large amount of time re...
Neha Sugandh, Santiago Ontañón, Ashw...
MM
2004
ACM
206views Multimedia» more  MM 2004»
15 years 11 months ago
Seeing sounds: exploring musical social networks
Information gathering from multimedia retrieval systems is aided by effective visualization, but the degree to which visualization is effective depends in part on the way the cont...
Piotr D. Adamczyk
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
16 years 3 months ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...
SIGOPSE
2004
ACM
15 years 11 months ago
Lessons and challenges in automating data dependability
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...
Kimberly Keeton, Dirk Beyer 0002, Jeffrey S. Chase...