3799 search results - page 668 / 760 » An Engineering Approach to Formal Methods |
131
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Recent work has provided functions that can be used to prove a principled distinction between the capabilities of mutation-based and crossover-based algorithms. However, prior fun...
137
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
147
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
Evaluating user preferences of web search results is crucial for search engine development, deployment, and maintenance. We present a real-world study of modeling the behavior of ...
137
click to vote
SMA
2006
ACM
15 years 10 months ago
2006
ACM
As compatible meshes play important roles in many computeraided design applications, we present a new approach for modelling compatible meshes. Our compatible mesh modelling metho...
152
click to vote
IRI
2005
IEEE
15 years 10 months ago
2005
IEEE
Although data integration has been a research subject for decades in the AEC (Architecture Engineering Construction) industry whose data is usually highly fragmented, nowadays we ...