Sciweavers

858 search results - page 33 / 172
» One Is Enough!
Sort
View
DAGM
2006
Springer
14 years 16 days ago
Cross-Articulation Learning for Robust Detection of Pedestrians
Recognizing categories of articulated objects in real-world scenarios is a challenging problem for today's vision algorithms. Due to the large appearance changes and intra-cla...
Edgar Seemann, Bernt Schiele
FOSSACS
2006
Springer
14 years 15 days ago
Guessing Attacks and the Computational Soundness of Static Equivalence
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
Martín Abadi, Mathieu Baudet, Bogdan Warins...
UML
2000
Springer
14 years 12 days ago
Supporting Several Levels of Restriction in the UML
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
Christian Heide Damm, Klaus Marius Hansen, Michael...
RTSS
1995
IEEE
14 years 12 days ago
Enhancing Real-Time Schedules to Tolerate Transient Faults
We present a scheme to guarantee that the execution of real-time tasks can tolerate transient and intermittent faults assuming any queue- based scheduling technique. The scheme is...
Sunondo Ghosh, Rami G. Melhem, Daniel Mossé
AISB
2008
Springer
13 years 11 months ago
Constructivism in AI: Prospects, Progress and Challenges
This position paper argues the case for the application of constructivist theories to Artificial Intelligence, with particular emphasis on Piaget's theory. The idea of buildin...
Frank Guerin