718 search results - page 41 / 144 » Toward Models for Forensic Analysis |
100
click to vote
DOCENG
2010
ACM
14 years 7 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
SIGKDD
2008
14 years 9 months ago
2008
Incremental pattern discovery targets streaming applications where the data continuously arrive incrementally. The questions are how to find patterns (main trends) incrementally; ...
EUROSSC
2006
Springer
15 years 1 months ago
2006
Springer
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
120
click to vote
AMDO
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents a general analysis framework towards exploiting the underlying hierarchical and scalable structure of an articulated object for pose estimation and tracking. Th...
68
Voted
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...