Sciweavers

177 search results - page 23 / 36
» arc 2008
Sort
View
FORMATS
2008
Springer
13 years 9 months ago
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
Jirí Srba
CACM
1998
110views more  CACM 1998»
13 years 7 months ago
Viewing WISs as Database Applications
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
Gustavo O. Arocena, Alberto O. Mendelzon
CAGD
2004
87views more  CAGD 2004»
13 years 7 months ago
Existence of set-interpolating and energy-minimizing curves
We consider existence of curves c : [0, 1] Rn which minimize an energy of the form c(k) p (k = 1, 2, . . . , 1 < p < ) under side-conditions of the form Gj(c(t1,j), . . . ,...
Johannes Wallner
FUIN
2008
124views more  FUIN 2008»
13 years 7 months ago
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
COLING
2000
13 years 8 months ago
Automatic Refinement of a POS Tagger Using a Reliable Parser and Plain Text Corpora
This paper proposes a new unsupervised learning method for obtaining English part-ofspecch(POS) disambiguation rules which would improve thc accuracy of a POS tagger. This method ...
Hideki Hirakawa, Kenji Ono, Yumiko Yoshimura