3319 search results - page 386 / 664 » Subshifts, Languages and Logic |
150
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...
163
click to vote
MFCS
1993
Springer
15 years 11 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
178
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
172
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
167
click to vote
IRCDL
2008
15 years 8 months ago
2008
The organization of a document collection into meaningful groups is a fundamental issue in document management systems. The grouping can be carried out by performing a comparison ...