Sciweavers

4971 search results - page 549 / 995
» Observation systems
Sort
View
JUCS
2008
182views more  JUCS 2008»
15 years 6 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
KI
2008
Springer
15 years 6 months ago
On-Line Detection of Rule Violations in Table Soccer
In table soccer, humans can not always thoroughly observe fast actions like rod spins and kicks. However, this is necessary in order to detect rule violations for example for tourn...
Armin Hornung, Dapeng Zhang 0002
JSW
2006
56views more  JSW 2006»
15 years 6 months ago
Evolutionary Computing for Detection of Retentive Structures in Coastal Waters
The demography of anchovy fishes in the Gulf of Biscay seems to be related to the presence of socalled "retentive" hydrodynamical structures, that keep fish eggs and larv...
Marc Segond, Denis Robilliard, Virginie Marion-Pot...
MONET
2006
88views more  MONET 2006»
15 years 6 months ago
Introducing consciousness in UWB networks by hybrid modelling of admission control
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
Maria-Gabriella Di Benedetto, Guerino Giancola, Ma...
SIAMJO
2008
93views more  SIAMJO 2008»
15 years 6 months ago
Recursive Trust-Region Methods for Multiscale Nonlinear Optimization
A class of trust-region methods is presented for solving unconstrained nonlinear and possibly nonconvex discretized optimization problems, like those arising in systems governed by...
Serge Gratton, Annick Sartenaer, Philippe L. Toint