4385 search results - page 861 / 877 » Abstraction for Concurrent Objects |
115
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
129
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Human users trying to plan and accomplish informationdependent goals in highly dynamic environments with prevalent uncertainty must consult various types of information s...
138
Voted
EVOW
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This contribution studies speciation from the standpoint of evolutionary robotics (ER). A common approach to ER is to design a robot’s control system using neuro-evolut...
138
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Textual reuse is an integral part of textual case-based reasoning (TCBR) which deals with solving new problems by reusing previous similar problem-solving experiences doc...
143
Voted
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. With the rapid development of fast data acquisition techniques, 3D scans that record the geometric and photometric information of deformable objects are routinely acquire...