3630 search results - page 391 / 726 » How to Compare Treebanks |
171
click to vote
BIRD
2007
Springer
16 years 29 days ago
2007
Springer
More and more proteins have been observed to display functions through intrinsic disorder. Such structurally flexible regions are shown to play important roles in biological proces...
189
click to vote
BPM
2007
Springer
16 years 29 days ago
2007
Springer
In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...
162
click to vote
COLT
2007
Springer
16 years 29 days ago
2007
Springer
For the natural notion of splitting classes into two disjoint subclasses via a recursive classifier working on texts, the question is addressed how these splittings can look in th...
169
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
189
click to vote
CPAIOR
2007
Springer
16 years 29 days ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...