3779 search results - page 583 / 756 » Linear Consistency Testing |
129
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
137
Voted
EGPGV
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents I/O solutions for the visualization of time-varying volume data in a parallel and distributed computing environment. Depending on the number of rendering proce...
126
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Bloat control is an important aspect of evolutionary computation methods, such as genetic programming, which must deal with genomes of arbitrary size. We introduce three ...
152
click to vote
ICBA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The performance of face recognition systems that use twodimensional images is dependent on consistent conditions such as lighting, pose, and facial appearance. We are dev...
144
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Air pollution models usually start from the computation of the velocity field of a fluid. In this paper, we present a model for computing that field based on the contribution of...