Sciweavers

3713 search results - page 640 / 743
» Constructing a Calculus of Programs
Sort
View
ACCV
2007
Springer
14 years 4 months ago
Task Scheduling in Large Camera Networks
Camera networks are increasingly being deployed for security. In most of these camera networks, video sequences are captured, transmitted and archived continuously from all cameras...
Ser-Nam Lim, Larry S. Davis, Anurag Mittal
CMMR
2007
Springer
114views Music» more  CMMR 2007»
14 years 4 months ago
A Network-Based Framework for Collaborative Development and Performance of Digital Musical Instruments
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...
Joseph Malloch, Stephen Sinclair, Marcelo M. Wande...
CP
2007
Springer
14 years 4 months ago
A Compression Algorithm for Large Arity Extensional Constraints
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
George Katsirelos, Toby Walsh
GECCO
2007
Springer
151views Optimization» more  GECCO 2007»
14 years 4 months ago
Dynamical blueprints: exploiting levels of system-environment interaction
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...
Nicolás S. Estévez, Hod Lipson
ICANN
2007
Springer
14 years 4 months ago
Selection of Decision Stumps in Bagging Ensembles
Abstract. This article presents a comprehensive study of different ensemble pruning techniques applied to a bagging ensemble composed of decision stumps. Six different ensemble p...
Gonzalo Martínez-Muñoz, Daniel Hern&...