2312 search results - page 180 / 463 » Invariance in Property Testing |
137
click to vote
GW
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the last decade speech processing has been applied in commercially available products. One of the key reasons for its success is the identification and use of an unde...
153
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
135
click to vote
FORTE
2008
15 years 6 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
167
click to vote
FAC
2008
15 years 4 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
120
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
The boundaries of image regions necessarily consist of edges (in particular, step and roof edges), corners, and junctions. Currently, different algorithms are used to detect each ...