Sciweavers

4332 search results - page 378 / 867
» A Probabilistic Identification Result
Sort
View
QEST
2006
IEEE
16 years 22 days ago
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
Joost-Pieter Katoen, Ivan S. Zapreev
171
Voted
DL
1999
Springer
139views Digital Library» more  DL 1999»
15 years 11 months ago
Constructing Web Views from Automated Navigation Sessions
Existing web search engines provide users with the ability to query an off-line database of indices in order to decide on an entry point for further manual navigation. Results are...
Nadav Zin, Mark Levene
WWW
2006
ACM
16 years 7 months ago
Retroactive answering of search queries
Major search engines currently use the history of a user's actions (e.g., queries, clicks) to personalize search results. In this paper, we present a new personalized service...
Beverly Yang, Glen Jeh
ICIAP
2007
ACM
16 years 27 days ago
Object Tracking at Multiple Levels of Spatial Resolutions
Tracking is usually performed at a single level of data resolution. This paper describes a multi-resolution tracking framework developed with efficiency and robustness in mind. E...
Son Dinh Tran, Larry S. Davis
AAAI
1990
15 years 8 months ago
What Should Be Minimized in a Decision Tree?
In this paper, we address the issue of evaluating decision trees generated from training examples by a learning algorithm. We give a set of performance measures and show how some ...
Usama M. Fayyad, Keki B. Irani