1481 search results - page 292 / 297 » Enriching the Software Development Process by Formal Methods |
95
Voted
CLEF
2007
Springer
15 years 3 months ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
104
click to vote
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
95
Voted
SI3D
1992
ACM
15 years 1 months ago
1992
ACM
Recent advances in software and hardware technology have made direct ray-traced volume rendering of 3-d scalar data a feasible and effective method for imaging of the data's ...
104
click to vote
WSC
1997
14 years 11 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
91
Voted
BMCBI
2007
14 years 9 months ago
2007
Background: With the increased availability of high throughput data, such as DNA microarray data, researchers are capable of producing large amounts of biological data. During the...