1992 search results - page 149 / 399 » Model Based Testing with Labelled Transition Systems |
147
click to vote
UM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose an approach for modeling the navigational behavior of Web users based on task-level patterns. The discovered “tasks” are characterized probabilistically as...
155
click to vote
CICLING
2004
Springer
15 years 7 months ago
2004
Springer
Domain shift is a challenging issue in dialogue management. This paper shows how to extract domain knowledge for dialogue model adaptation. The basic semantic concepts are derived ...
134
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
141
Voted
DAGM
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a new approach for detecting objects based on measuring the spatial consistency between different parts of an object. These parts are pre-defined on a set of...
123
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, multi-modal Magnetic Resonance (MR) images are integrated into a tissue profile that aims at differentiating tumor components, edema and normal tissue. This is achi...