10602 search results - page 2087 / 2121 » Weakly Useful Sequences |
173
click to vote
FIW
1998
15 years 5 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
133
click to vote
IVCNZ
1998
15 years 5 months ago
1998
Duality is a well-established concept in quantum physics. It formalises the fact that what one observes is not nature in itself, but--in Heisenberg's words--"nature expo...
152
Voted
NIPS
2000
15 years 5 months ago
2000
Source separation, or computational auditory scene analysis, attempts to extract individual acoustic objects from input which contains a mixture of sounds from different sources, ...
136
click to vote
WSC
1997
15 years 5 months ago
1997
Optimistic parallel discrete event simulation (PDES) uses a state history trail to support rollback. State saving strategies range from making a complete copy of a model’s state...
179
Voted
FORTE
1994
15 years 5 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...