8828 search results - page 1523 / 1766 » Formal methods in practice |
172
click to vote
CRV
2008
IEEE
15 years 8 months ago
2008
IEEE
The recent digital revolution has facilitated communication, data portability and on-the-fly manipulation. Unfortunately, this has brought along some critical security vulnerabili...
142
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
We discuss problems in developing policies for ground truthing document images for pixel-accurate segmentation. First, we describe ground truthing policies that apply to four diff...
211
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
We introduce a new type of query, called a real-time continuous query (RCQ), that captures the real-time requirements of processing data streams. We develop techniques to efficien...
121
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Most practically relevant domains include some degree of conceptual dynamics, i.e. new conceptual elements arise, and some old ones become irrelevant. This type of change imposes a...
190
click to vote
ETRA
2008
ACM
15 years 8 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...