1054 search results - page 100 / 211 » Guarded Expressions in Practice |
163
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
151
click to vote
FQAS
2004
Springer
15 years 11 months ago
2004
Springer
With the fast growing speech technologies, the world is emerging to a new speech era. Speech recognition has now become a practical technology for real world applications. While so...
163
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
144
Voted
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
The level set representation of shapes is useful for shape evolution and is widely used for the minimization of energies with respect to shapes. Many algorithms consider energies d...
157
click to vote
ICAT
2003
IEEE
15 years 11 months ago
2003
IEEE
The simulation of organ-organ interaction is indispensable for practical and advanced medical VR simulator such as open surgery and indirect palpation. This paper gives a method t...