Sciweavers

3892 search results - page 449 / 779
» Machine Learning for Intelligent Systems
Sort
View
TPHOL
2005
IEEE
16 years 9 days ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
MM
2010
ACM
137views Multimedia» more  MM 2010»
15 years 7 months ago
Self-diagnostic peer-assisted video streaming through a learning framework
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...
Di Niu, Baochun Li, Shuqiao Zhao
ARGMAS
2006
Springer
15 years 10 months ago
Arguments and Counterexamples in Case-Based Joint Deliberation
Multiagent learning can be seen as applying ML techniques to the core issues of multiagent systems, like communication, coordination, and competition. In this paper, we address the...
Santiago Ontañón, Enric Plaza
ICVGIP
2004
15 years 8 months ago
Handling Occlusions in Monocular Surveillance Systems
Recent advances in computing machines and the availability of inexpensive vision sensors have paved the way for development of real-time imaging systems. Smart systems with a sing...
Prithwijit Guha, Nisarg Vyas, Amitabha Mukerjee, K...
WAPCV
2007
Springer
16 years 25 days ago
Embodied Active Vision in Language Learning and Grounding
Abstract. Most cognitive studies of language acquisition in both natural systems and artificial systems have focused on the role of purely linguistic information as the central co...
Chen Yu