Sciweavers

1117 search results - page 108 / 224
» Equivalent Representations of Set Functions
Sort
View
CAV
2006
Springer
86views Hardware» more  CAV 2006»
15 years 1 months ago
The Power of Hybrid Acceleration
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
Bernard Boigelot, Frédéric Herbretea...
GECCO
2007
Springer
192views Optimization» more  GECCO 2007»
14 years 11 months ago
Parsimonious regularization using genetic algorithms applied to the analysis of analytical ultracentrifugation experiments
Frequently in the physical sciences experimental data are analyzed to determine model parameters using techniques known as parameter estimation. Eliminating the effects of noise ...
Emre H. Brookes, Borries Demeler
AAAI
1996
14 years 11 months ago
Spatial Aggregation: Language and Applications
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
Christopher Bailey-Kellogg, Feng Zhao, Kenneth Yip
ICIP
2006
IEEE
15 years 11 months ago
A Variational Approach for Shapes Registration Using Vector Maps
The main focus of this paper is the shape representation and registration using vector level set functions. This powerful representation is more flexible than conventional signed ...
Hossam E. Abd El Munim, Aly A. Farag
IJCAI
2007
14 years 11 months ago
Online Learning and Exploiting Relational Models in Reinforcement Learning
In recent years, there has been a growing interest in using rich representations such as relational languages for reinforcement learning. However, while expressive languages have ...
Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Ma...