14331 search results - page 2588 / 2867 » On the modeling and analysis of obligations |
239
Voted
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
There are two main approaches to the problem of gender classification, Support Vector Machines (SVMs) and Adaboost learning methods, of which SVMs are better in correct rate but ar...
243
click to vote
AWIC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a dialogue system that enables the access in natural language to a web information retrieval system. We use a Web Semantic Language to model the knowledge conv...
234
click to vote
COMPSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
183
Voted
EUROPAR
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structur...
206
Voted
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...