Sciweavers

1424 search results - page 243 / 285
» An industrial case study on wearable computing applications
Sort
View
IWPC
2002
IEEE
15 years 11 months ago
Building Program Understanding Tools Using Visitor Combinators
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
Arie van Deursen, Joost Visser
SIGMOD
2010
ACM
259views Database» more  SIGMOD 2010»
15 years 11 months ago
PODS: a new model and processing algorithms for uncertain data streams
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
Thanh T. L. Tran, Liping Peng, Boduo Li, Yanlei Di...
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 9 months ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton
GECCO
2006
Springer
265views Optimization» more  GECCO 2006»
15 years 9 months ago
Cutting stock waste reduction using genetic algorithms
A new model for the One-dimensional Cutting Stock problem using Genetic Algorithms (GA) is developed to optimize construction steel bars waste. One-dimensional construction stocks...
Yaser M. A. Khalifa, O. Salem, A. Shahin
VISSYM
2007
15 years 8 months ago
Viewpoint Selection for Intervention Planning
Viewpoint selection is crucial for medical intervention planning. The interactive exploration of a scene with 3d objects involves the systematic analysis of several anatomic struc...
Konrad Mühler, Mathias Neugebauer, Christian ...