Sciweavers

1807 search results - page 305 / 362
» Backdoors in the Context of Learning
Sort
View
BIRTHDAY
2005
Springer
14 years 2 months ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz
CCIA
2005
Springer
14 years 2 months ago
Classifying Natural Objects on Outdoor Scenes
We propose an hybrid and probabilistic classification of image regions belonging to scenes primarily containing natural objects, e.g. sky, trees, etc. as a first step in solving ...
Anna Bosch, Xavier Muñoz, Joan Martí...
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
14 years 2 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
DIGRA
2005
Springer
14 years 2 months ago
Pretty good for a girl: gender, identity and computer games
Young people’s participation in online digital culture is one of the most efficient means by which they become proficient in the management of Information and Communications Tec...
Catherine Beavis
MLMI
2005
Springer
14 years 2 months ago
The Development of the AMI System for the Transcription of Speech in Meetings
The automatic processing of speech collected in conference style meetings has attracted considerable interest with several large scale projects devoted to this area. This paper des...
Thomas Hain, Lukas Burget, John Dines, Iain McCowa...