5550 search results - page 645 / 1110 » Different Approaches to Proof Systems |
188
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
231
click to vote
ER
1997
Springer
15 years 11 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
191
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--A model for intrinsic artificial development is introduced in this paper. The proposed model features a novel mechanism where growth emerges, rather than being triggered ...
194
click to vote
ICANN
2007
Springer
2007
Springer
Estimation of Pointing Poses on Monocular Images with Neural Techniques - An Experimental Comparison
15 years 11 months ago
Poses and gestures are an important part of the nonverbal inter-human communication. In the last years many different methods for estimating poses and gestures in the field of Huma...
179
click to vote
CIARP
2006
Springer
15 years 11 months ago
2006
Springer
Error correcting output codes (ECOC) represent a successful extension of binary classifiers to address the multiclass problem. Lately, the ECOC framework was extended from the bina...