Sciweavers

2700 search results - page 383 / 540
» The role of abstraction in software engineering
Sort
View
AIR
1998
103views more  AIR 1998»
15 years 6 months ago
Tackling Real-Coded Genetic Algorithms: Operators and Tools for Behavioural Analysis
Abstract. Genetic algorithms play a significant role, as search techniques for handling complex spaces, in many fields such as artificial intelligence, engineering, robotic, etc...
Francisco Herrera, Manuel Lozano, José L. V...
EUROMED
2010
15 years 5 months ago
3D Digitization and Its Applications in Cultural Heritage
Abstract. 3D digitizing technology has a variety of applications including reverse engineering, quality control, virtual reality and digital heritage. Recently, great development i...
Renju Li, Tao Luo, Hongbin Zha
SAB
2010
Springer
140views Optimization» more  SAB 2010»
15 years 4 months ago
A Model of Symmetry Breaking in Collective Decision-Making
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
Heiko Hamann, Bernd Meyer, Thomas Schmickl, Karl C...
PASTE
2005
ACM
15 years 12 months ago
Generalizing symbolic execution to library classes
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
Sarfraz Khurshid, Yuk Lai Suen
KBSE
2005
IEEE
16 years 3 hour ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander