8196 search results - page 298 / 1640 » Computational Modeling and Complexity Science |
161
click to vote
ISSTA
2006
ACM
16 years 18 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
172
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
183
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
A single face classifier has difficulty in detecting multiview faces under real and complex scenes due to various poses, cluttering environment and small size of faces. In this pa...
183
Voted
RT
2001
Springer
15 years 11 months ago
2001
Springer
We present a new sampling method for procedural and complex geometries, which allows interactive point-based modeling and rendering of such scenes. For a variety of scenes, object-...
171
click to vote
EUROCOLT
1995
Springer
15 years 10 months ago
1995
Springer
Limiting identification of r.e. indexes for r.e. languages (from a presentation of elements of the language) and limiting identification of programs for computable functions (fr...