4385 search results - page 861 / 877 » Abstraction for Concurrent Objects |
76
Voted
CONCUR
2010
Springer
14 years 11 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...
89
Voted
ECAI
2010
Springer
14 years 11 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...
EVOW
2008
Springer
14 years 11 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...
ECAI
2010
Springer
14 years 10 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...
98
Voted
ECCV
2010
Springer
14 years 10 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...