2205 search results - page 181 / 441 » Mutation Operators for Specifications |
105
click to vote
TNC
2004
15 years 3 months ago
2004
This paper highlights the need to supplement the work within the IPv6 community on IPv6 management with mechanisms specifically to support IPv6 transitioning. As a major feature o...
102
click to vote
WSC
1997
15 years 3 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
NIPS
1996
15 years 3 months ago
1996
We describe the implementation of a hidden Markov model state decoding system, a component for a wordspotting speech recognition system. The key specification for this state decod...
125
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...
143
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...