Sciweavers

4815 search results - page 682 / 963
» A Pattern Approach to Modeling the Provider Selection Proble...
Sort
View
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
14 years 12 months ago
On optimal input design in system identification for control
Abstract-- This paper considers a recently proposed framework for experiment design in system identification for control. We will consider model based control design methods, such ...
Bo Wahlberg, Håkan Hjalmarsson, Mariette Ann...
KBSE
1998
IEEE
15 years 9 months ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green
134
Voted
DAGSTUHL
2006
15 years 6 months ago
A Taxonomy of Aspects in Terms of Crosscutting Concerns
Abstract. Aspect-orientation provides support for " Separation of Concerns" by means of techniques that first isolate and then weave concerns. Most work in aspect-orienta...
Jorge Fox
DSMML
2004
Springer
15 years 10 months ago
Object Recognition via Local Patch Labelling
Abstract. In recent years the problem of object recognition has received considerable attention from both the machine learning and computer vision communities. The key challenge of...
Christopher M. Bishop, Ilkay Ulusoy
CORR
2006
Springer
153views Education» more  CORR 2006»
15 years 4 months ago
Genetic Programming, Validation Sets, and Parsimony Pressure
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
Christian Gagné, Marc Schoenauer, Marc Pari...