2153 search results - page 309 / 431 » From Requirements Models to Formal Specifications in B |
199
click to vote
SMA
1993
ACM
15 years 10 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
164
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a framework for robustly recognizing physical team behaviors by exploiting spatio-temporal patterns. Agent team behaviors in athletic and military domains typi...
174
click to vote
AEI
2010
15 years 6 months ago
2010
The planning and management of supply chains require properly specifying the participating members and the relationships among them. Construction supply chains usually consist of n...
146
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
When constructing a classifier from labeled data, it is important not to assign too much weight to any single input feature, in order to increase the robustness of the classifier....
154
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...