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 11 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 8 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
197
Voted
AGTIVE
2007
Springer
16 years 26 days 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 8 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
150
Voted
SCL
2008
86views more  SCL 2008»
15 years 6 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