7820 search results - page 1292 / 1564 » Formalization of Time and Space |
169
click to vote
XSYM
2004
Springer
16 years 7 hour ago
2004
Springer
XML indices are essential for efficiently processing XML queries which typically have predicates on both structures and values. Since the number of all possible structural and val...
182
click to vote
CVPR
2010
IEEE
16 years 4 hour ago
2010
IEEE
Finding fiducial facial points in any frame of a video showing rich naturalistic facial behaviour is an unsolved problem. Yet this is a crucial step for geometric-featurebased fa...
160
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Over the past decade, Intrusion Detection Systems (IDS) have improved steadily in the efficiency and effectiveness with which they detect intrusive activity. This is particularly ...
156
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
195
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...