1992 search results - page 229 / 399 » Model Based Testing with Labelled Transition Systems |
137
Voted
JDCTA
2010
14 years 10 months ago
2010
In tradition probability statistics model, speaker verification threshold is instability in different test situations. A novel speaker verification method based on Support Vector ...
120
Voted
SIGMOD
1997
ACM
15 years 7 months ago
1997
ACM
The Strudel system applies concepts from database management systems to the process of building Web sites. Strudel’s key idea is separating the management of the site’s data, t...
152
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This research concerns a noncooperative dynamic game with large number of oscillators. The states are interpreted as the phase angles for a collection of non-homogeneous oscillator...
140
Voted
IS
2010
15 years 2 months ago
2010
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
162
Voted
MICCAI
2006
Springer
16 years 4 months ago
2006
Springer
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...