1487 search results - page 15 / 298 » Two Kinds of Metonymy |
ENTCS
2006
13 years 7 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
EDBT
2011
ACM
12 years 11 months ago
2011
ACM
GPS devices allow recording the movement track of the moving object they are attached to. This data typically consists of a stream of spatio-temporal (x,y,t) points. For applicati...
ISMAR
2003
IEEE
14 years 23 days ago
2003
IEEE
One of methods achieving Mixed Reality (MR) displays is the texture projection method using projectors. Another kind of emerging information environments is a wearable information...
AES
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. In this paper, we discuss ways to attack various reducedround variants of MARS. We consider cryptanalysis of two reducedround variants of MARS: MARS with the full mixing ...
ML
2011
ACM
13 years 2 months ago
2011
ACM
In the last decade, connectionist models have been proposed that can process structured information directly. These methods, which are based on the use of graphs for the representa...