2748 search results - page 181 / 550 » Generating Object-Z Specifications from Use Cases |
130
Voted
IJCAI
1989
15 years 1 months ago
1989
entional user behavior, we need a principled mannerAbstract for relaxing contextual constraints when they are violated.When computer speech recognition is used for problem In order...
FM
1999
Springer
15 years 5 months ago
1999
Springer
Ð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...
105
click to vote
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
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...
107
Voted
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
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...
SCL
2008
15 years 18 days ago
2008
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...