1054 search results - page 154 / 211 » Guarded Expressions in Practice |
154
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
147
click to vote
IMAGING
2004
15 years 7 months ago
2004
Amplitude for color mixing is different from other amplitudes such as loudness. Color amplitude must refer to a light's ability to look different from other lights, to expres...
176
click to vote
IJCAI
2003
15 years 7 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
153
click to vote
WSC
2004
15 years 7 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
146
Voted
WSCG
2004
15 years 7 months ago
2004
We present a real-time algorithm for rendering volumetric 3D Magic LensesTM having arbitrary convex shapes. During fragment processing the algorithm performs a second depth test u...