192 search results - page 32 / 39 » Knowledge States: A Tool for Randomized Online Algorithms |
GCB
2004
Springer
14 years 22 days ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
KCAP
2003
ACM
14 years 18 days ago
2003
ACM
Tools for filtering the World Wide Web exist, but they are hampered by the difficulty of capturing user preferences in such a diverse and dynamic environment. Recommender systems ...
IJCAI
2001
13 years 8 months ago
2001
(LP)2 is a covering algorithm for adaptive Information Extraction from text (IE). It induces symbolic rules that insert SGML tags into texts by learning from examples found in a u...
PKDD
1998
Springer
13 years 11 months ago
1998
Springer
TextVis is a visual data mining system for document collections. Such a collection represents an application domain, and the primary goal of the system is to derive patterns that p...
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...