Sciweavers

1937 search results - page 129 / 388
» Starting B Specifications from Use Cases
Sort
View
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 9 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan
ICIP
2003
IEEE
16 years 6 months ago
PDE-based modeling of image segmentation using volumic flooding
The classical case of morphological segmentation is based on the watershed transform, constructed by flooding the gradient image, which is seen as a topographic surface, with cons...
Anastasia Sofou, Petros Maragos
AGTIVE
2007
Springer
15 years 11 months ago
Using Graph Transformation to Support Collaborative Ontology Evolution
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
Pieter De Leenheer, Tom Mens
FLAIRS
2004
15 years 6 months ago
Simulating Biological Motion Perception Using a Recurrent Neural Network
People have the ability to perceive biological motion under conditions of severely limited visual information. If the information is in the form of a point-light motion sequence o...
Roxanne L. Canosa
SCL
2008
86views more  SCL 2008»
15 years 4 months ago
Control design in the time and frequency domain using nonsmooth techniques
Significant progress in control design has been achieved by the use of nonsmooth and semiinfinite mathematical programming techniques. In contrast with LMI or BMI approaches, thes...
Vincent Bompart, Pierre Apkarian, Dominikus Noll