6833 search results - page 382 / 1367 » Some two-character sets |
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
161
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: This technical report details a family of time warp distances on the set of discrete time series. This family is constructed as an editing distance whose elementary operations ap...
164
click to vote
ENTCS
2010
15 years 7 months ago
2010
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...
193
click to vote
ENTCS
2008
15 years 7 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
153
click to vote
ENTCS
2008
15 years 7 months ago
2008
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...