Sciweavers

1816 search results - page 186 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
ACE
2004
199views Education» more  ACE 2004»
15 years 7 months ago
VELNET (Virtual Environment for Learning Networking)
The problems of providing a real, physical specialist laboratory to teach computer networking such as, the lack of funding and physical space and the risks and threats to the netw...
Bruce Kneale, Ain Y. De Horta, Ilona Box
CVPR
2007
IEEE
16 years 8 months ago
Hierarchical Learning of Curves Application to Guidewire Localization in Fluoroscopy
In this paper we present a method for learning a curve model for detection and segmentation by closely integrating a hierarchical curve representation using generative and discrim...
Adrian Barbu, Vassilis Athitsos, Bogdan Georgescu,...
ITS
1998
Springer
107views Multimedia» more  ITS 1998»
15 years 10 months ago
Toward a Unification of Human-Computer Learning and Tutoring
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...
Henry Hamburger, Gheorghe Tecuci
CVPR
2010
IEEE
15 years 9 months ago
Learning 3D Shape from a Single Facial Image via Non-linear Manifold Embedding and Alignment
The 3D reconstruction of a face from a single frontal image is an ill-posed problem. This is further accentuated when the face image is captured under different poses and/or compl...
Xianwang Wang, Ruigang Yang
CCS
2000
ACM
15 years 10 months ago
Composition and integrity preservation of secure reactive systems
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
Birgit Pfitzmann, Michael Waidner