Sciweavers

2272 search results - page 262 / 455
» Capture Complexity by Partition
Sort
View
121
Voted
PPSN
2010
Springer
15 years 2 months ago
Evolving a Single Scalable Controller for an Octopus Arm with a Variable Number of Segments
Abstract. While traditional approaches to machine learning are sensitive to highdimensional state and action spaces, this paper demonstrates how an indirectly encoded neurocontroll...
Brian G. Woolley, Kenneth O. Stanley
FORMATS
2010
Springer
15 years 1 months ago
A Framework for Verification of Software with Time and Probabilities
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
132
Voted
ICIP
2010
IEEE
15 years 1 months ago
Quantization optimized H.264 encoding for traffic video tracking applications
The compression of video can reduce the accuracy of post-compression tracking algorithms. This is problematic for centralized applications such as traffic surveillance systems, wh...
Eren Soyak, Sotirios A. Tsaftaris, Aggelos K. Kats...
125
Voted
ICIP
2010
IEEE
15 years 1 months ago
Semi-supervised regression with temporal image sequences
We consider a semi-supervised regression setting where we have temporal sequences of partially labeled data, under the assumption that the labels should vary slowly along a sequen...
Ling Xie, Miguel Á. Carreira-Perpiñ&...
132
Voted
SEMWEB
2010
Springer
15 years 1 months ago
OWL-POLAR: Semantic Policies for Agent Reasoning
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
Murat Sensoy, Timothy J. Norman, Wamberto Weber Va...