2713 search results - page 507 / 543 » Parameterized Tree Systems |
182
click to vote
PR
2007
15 years 5 months ago
2007
In this work, we are interested in technologies that will allow users to actively browse and navigate large image databases and to retrieve images through interactive fast browsin...
196
click to vote
PVLDB
2008
15 years 5 months ago
2008
With the rise of XML, the database community has been challenged by semi-structured data processing. Since the data type behind XML is the tree, state-of-the-art RDBMSs have learn...
209
click to vote
DLT
2009
15 years 3 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
203
click to vote
CVPR
1998
IEEE
16 years 7 months ago
1998
IEEE
We describe a vision system that monitors activity in a site over extended periods of time. The system uses a distributed set of sensors to cover the site, and an adaptive tracker...
183
click to vote
ISI
2008
Springer
15 years 5 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...