Sciweavers

2448 search results - page 119 / 490
» The Octahedron Abstract Domain
Sort
View
CORR
2006
Springer
90views Education» more  CORR 2006»
13 years 8 months ago
The Snowblower Problem
Abstract: We introduce the snowblower problem (SBP), a new optimization problem that is closely related to milling problems and to some material-handling problems. The objective in...
Esther M. Arkin, Michael A. Bender, Joseph S. B. M...
TVCG
2008
81views more  TVCG 2008»
13 years 8 months ago
Visual Methods for Analyzing Time-Oriented Data
Abstract--Providing appropriate methods to facilitate the analysis of time-oriented data is a key issue in many application domains. In this paper, we focus on the unique role of t...
Wolfgang Aigner, Silvia Miksch, Wolfgang Müll...
EXPERT
2002
79views more  EXPERT 2002»
13 years 8 months ago
Information Retrieval Meets Gene Analysis
of thousands) of PubMed abstracts covering literature relevant to the domain of interest. For instance, This method uses the scientific literature to establish functional relations...
Hagit Shatkay, Stephen Edwards, Mark Boguski
PC
2002
131views Management» more  PC 2002»
13 years 7 months ago
From patterns to frameworks to parallel programs
riented programming, design patterns, and frameworks are abstraction techniques that have been used to reduce the complexity of sequential programming. This paper describes our ap...
Steve MacDonald, John Anvik, Steven Bromling, Jona...
APLAS
2005
ACM
14 years 1 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot