2163 search results - page 152 / 433 » cases 2004 |
146
Voted
CICLING
2004
Springer
15 years 11 months ago
2004
Springer
When text categorization is applied to complex tasks, it is tedious and expensive to hand-label the large amounts of training data necessary for good performance. In this paper, we...
151
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
154
click to vote
AAAI
2004
15 years 7 months ago
2004
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
139
click to vote
WSC
2004
15 years 7 months ago
2004
In standard optimistic parallel event simulation, no restriction exists on the maximum lag in simulation time between the fastest and slowest logical processes (LPs). Overoptimist...
159
click to vote
COMSIS
2004
15 years 5 months ago
2004
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...