Sciweavers

1713 search results - page 84 / 343
» On the Importance of Being Quantum
Sort
View
ECAI
2000
Springer
15 years 1 months ago
Qualitative Spatial Reasoning about Line Segments
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
Reinhard Moratz, Jochen Renz, Diedrich Wolter
PPSN
1998
Springer
15 years 1 months ago
Comparison of Evolutionary Algorithms for Design Optimization
The production of specimen for microsystems or microcomponents is both, time and material-consuming. In a traditional design process the number of possible variations which can be ...
Wilfried Jakob, Martina Gorges-Schleuter, Ingo Sie...
ARVLSI
1995
IEEE
124views VLSI» more  ARVLSI 1995»
15 years 1 months ago
An evaluation of bipartitioning techniques
Logic partitioning is an important issue in VLSI CAD, and has been an area of active research for at least the last 25 years. Numerous approaches have been developed and many diff...
Scott Hauck, Gaetano Borriello
ESEC
1997
Springer
15 years 1 months ago
Applying Static Analysis to Software Architectures
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
Gleb Naumovich, George S. Avrunin, Lori A. Clarke,...
SIGGRAPH
1995
ACM
15 years 1 months ago
Multi-level direction of autonomous creatures for real-time virtual environments
There have been several recent efforts to build behavior-based autonomous creatures. While competent autonomous action is highly desirable, there is an important need to integrate...
Bruce Blumberg, Tinsley A. Galyean