Sciweavers

1912 search results - page 162 / 383
» On the evaluation of argumentation formalisms
Sort
View
AAAI
2008
15 years 8 months ago
Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents
To-do lists have been found to be the most popular personal information management tools, yet there is no automated system to interpret and act upon them when appropriate on behal...
Yolanda Gil, Varun Ratnakar
LREC
2008
157views Education» more  LREC 2008»
15 years 8 months ago
AnCora: Multilevel Annotated Corpora for Catalan and Spanish
This paper presents AnCora, a multilingual corpus annotated at different linguistic levels consisting of 500,000 words in Catalan (AnCora-Ca) and in Spanish (AnCora-Es). At presen...
Mariona Taulé, Maria Antònia Mart&ia...
ALENEX
2004
121views Algorithms» more  ALENEX 2004»
15 years 8 months ago
Experimental Comparison of Shortest Path Approaches for Timetable Information
We consider two approaches that model timetable information in public transportation systems as shortestpath problems in weighted graphs. In the time-expanded approach every event...
Evangelia Pyrga, Frank Schulz, Dorothea Wagner, Ch...
ENTCS
2002
101views more  ENTCS 2002»
15 years 6 months ago
Hypergeometric Functions in Exact Geometric Computation
Most problems in computational geometry are algebraic. A general approach to address nonrobustness in such problems is Exact Geometric Computation (EGC). There are now general lib...
Zilin Du, Maria Eleftheriou, José E. Moreir...
MP
2002
103views more  MP 2002»
15 years 6 months ago
Detecting Jacobian sparsity patterns by Bayesian probing
In this paper we describe an automatic procedure for successively reducing the set of possible nonzeros in a Jacobian matrix until eventually the exact sparsity pattern is obtained...
Andreas Griewank, Christo Mitev