5634 search results - page 135 / 1127 » About Abstract Classes |
ICALP
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
114
click to vote
IIE
2008
14 years 11 months ago
2008
Abstract. Extreme Programming (XP) shows several interesting approaches which are very attractive for education. It is centered around early and incremental creation of working sof...
SCIA
2009
Springer
15 years 5 months ago
2009
Springer
Recognition of objects in highly structured surroundings is a challenging task, because the appearance of target objects changes due to fluctuations in their surroundings. This ma...
91
Voted
PDP
2002
IEEE
15 years 4 months ago
2002
IEEE
The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to sol...
98
Voted
CVIU
2008
14 years 11 months ago
2008
We propose a novel scheme for using supervised learning for function-based classification of objects in 3D images. During the learning process, a generic multi-level hierarchical ...