4385 search results - page 483 / 877 » Abstraction for Concurrent Objects |
178
click to vote
FSTTCS
2004
Springer
16 years 6 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
180
click to vote
GECCO
2004
Springer
2004
Springer
Evolutionary Computation Techniques for Optimizing Fuzzy Cognitive Maps in Radiation Therapy Systems
16 years 6 days ago
Abstract. The optimization of a Fuzzy Cognitive Map model for the supervision and monitoring of the radiotherapy process is proposed. This is performed through the minimization of ...
162
click to vote
ICCSA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper presents a method for automatic removal of artifacts that appear in silhouettes extracted from polygonal meshes due to the discrete nature of meshes and numeri...
177
click to vote
ICIAR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a 3D representation that is based on the processing in the visual cortex by simple, complex and end-stopped cells. We improved multiscale methods for line/edge...
136
click to vote
IDEAL
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. One of the objectives of intelligent data engineering and automated learning is to develop algorithms that learn the environment, generate rules, and take possible course...