Sciweavers

2701 search results - page 311 / 541
» On the form of witness terms
Sort
View
170
Voted
CDC
2009
IEEE
162views Control Systems» more  CDC 2009»
15 years 11 months ago
Distributed optimal planning: an approach by weighted automata calculus
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
Eric Fabre, Loig Jezequel
CIKM
2009
Springer
15 years 11 months ago
Data extraction from the web using wild card queries
This paper presents an overview of our framework for searching and retrieving facts and relationships within natural language text sources. In this framework, an extraction task o...
Davood Rafiei, Haobin Li
GECCO
2009
Springer
128views Optimization» more  GECCO 2009»
15 years 11 months ago
Evolving stochastic processes using feature tests and genetic programming
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...
Brian J. Ross, Janine H. Imada
HUC
2009
Springer
15 years 11 months ago
Wearable therapist: sensing garments for supporting children improve posture
This paper introduces a sensing garment to support posture coaching in children. The system measures back bending postures using acceleration sensors embedded in the garment. We p...
Holger Harms, Oliver Amft, Gerhard Tröster, M...
161
Voted
OOPSLA
2009
Springer
15 years 11 months ago
An exploration of program as language
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...
Elisa L. A. Baniassad, Clayton G. Myers