Sciweavers

16404 search results - page 835 / 3281
» A set coverage problem
Sort
View
FORMATS
2006
Springer
15 years 11 months ago
Symbolic Robustness Analysis of Timed Automata
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
Conrado Daws, Piotr Kordy
AIPS
2008
15 years 10 months ago
Causal Graphs and Structurally Restricted Planning
The causal graph is a directed graph that describes the variable dependencies present in a planning instance. A number of papers have studied the causal graph in both practical an...
Hubie Chen, Omer Giménez
FLAIRS
2008
15 years 10 months ago
Selecting Minority Examples from Misclassified Data for Over-Sampling
We introduce a method to deal with the problem of learning from imbalanced data sets, where examples of one class significantly outnumber examples of other classes. Our method sel...
Jorge de la Calleja, Olac Fuentes, Jesús Go...
WSC
2008
15 years 10 months ago
Large deviations perspective on ordinal optimization of heavy-tailed systems
We consider the problem of selecting the best among several heavy-tailed systems using a large deviations perspective. In contrast to the light-tailed setting studied by Glynn and...
Jose Blanchet, Jingchen Liu, Bert Zwart
COLING
2008
15 years 9 months ago
Explaining Similarity of Terms
Computing the similarity between entities is a core component of many NLP tasks such as measuring the semantic similarity of terms for generating a distributional thesaurus. In th...
Vishnu Vyas, Patrick Pantel