18209 search results - page 320 / 3642 » Some Remarks on the Paper |
166
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
159
click to vote
ERCIMDL
2007
Springer
16 years 28 days ago
2007
Springer
Intelligibility, evolution and emulation are some of the key notions for digital information preservation. In this paper we define formally these notions on the basis of modules a...
144
Voted
GI
2007
Springer
16 years 28 days ago
2007
Springer
: In this paper we explore trajectory clustering as a means for representing the normal behavior of vessels in a coastal surveillance scenario. Trajectory clustering however suffer...
160
click to vote
ICA
2007
Springer
16 years 28 days ago
2007
Springer
This paper introduces an extension of an earlier method of the author for separating stationary sources, based on the joint approximated diagonalization of interspectral matrices, ...
168
click to vote
ICDT
2007
ACM
16 years 27 days ago
2007
ACM
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...