3082 search results - page 512 / 617 » Deviation Analysis: A New Use of Model Checking |
125
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Optimization of the mesh quality of surface triangulation is critical for advanced numerical simulations and is challenging under the constraints of error minimization and density ...
146
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
DigitalAssets Discoverer is a tool that implements a group of indicators for automatic identification of software components that can be reused in the development of new applicati...
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
We propose a simple method for converting many standard measures of retrieval performance into metasearch algorithms. Our focus is both on the analysis of retrieval measures thems...
119
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Various algorithms have been developed and applied to structural optimization, in which cross-sectional areas of structure members are assumed to be continuous. In most cases of p...
129
click to vote
TSD
2005
Springer
15 years 10 months ago
2005
Springer
In this paper a new rule-based approach to break assignment for the Russian language is discussed. It is a flexible and robust method of segmentation of texts in Russian in prosod...