10890 search results - page 269 / 2178 » Automatic Complexity Analysis |
134
click to vote
AIPS
1998
15 years 8 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
174
click to vote
ENTCS
2002
15 years 6 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
199
click to vote
TSE
1998
15 years 6 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
175
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, to automatically generate musical thumbnails that contain the main part of the original tune, we propose a new estimation method for identifying structure changes i...
147
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
To improve the performance of call-reason analysis at contact centers, we introduce a novel method to extract call-reason segments from dialogs. It is based on the following two c...