1341 search results - page 75 / 269 » Periods in Extensions of Words |
156
click to vote
AUSDM
2006
Springer
15 years 9 months ago
2006
Springer
Supervised text classification is the task of automatically assigning a category label to a previously unlabeled text document. We start with a collection of pre-labeled examples ...
167
click to vote
IANDC
2007
15 years 5 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
137
click to vote
JUCS
2010
15 years 4 months ago
2010
: We present a number of developer tools and language extensions that are available for use with Steel Bank Common Lisp, but which are perhaps not as wellknown as they could be. Ou...
199
click to vote
ICALP
1992
Springer
15 years 10 months ago
1992
Springer
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
171
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...