Sciweavers

4743 search results - page 360 / 949
» The PlusCal Algorithm Language
Sort
View
ICFEM
2000
Springer
15 years 8 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
CIKM
2009
Springer
15 years 7 months ago
Building domain-oriented sentiment lexicon by improved information bottleneck
This paper describes an adapted information bottleneck approach for construction of domain-oriented sentiment lexicon. The basic idea is to use three kinds of relationships (WWint...
Weifu Du, Songbo Tan
AAAI
2007
15 years 6 months ago
ASKNet: Automatically Generating Semantic Knowledge Networks
The ASKNet project uses a combination of NLP tools and spreading activation to transform natural language text into semantic knowledge networks. Network fragments are generated fr...
Brian Harrington
FOSSACS
2008
Springer
15 years 6 months ago
Coalgebraic Logic and Synthesis of Mealy Machines
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexan...
EMNLP
2008
15 years 6 months ago
An Analysis of Active Learning Strategies for Sequence Labeling Tasks
Active learning is well-suited to many problems in natural language processing, where unlabeled data may be abundant but annotation is slow and expensive. This paper aims to shed ...
Burr Settles, Mark Craven