1981 search results - page 212 / 397 » Model-Checking Hierarchical Structures |
IC
2010
13 years 8 months ago
2010
Abstract-- `mDNS' - a hierarchical multicast session directory service architecture, which has been recently submitted to IETF editorial board for publication under Best Curre...
ENTCS
2010
13 years 7 months ago
2010
s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones...
ALGORITHMICA
2010
13 years 10 months ago
2010
We consider a data-structural problem motivated by version control of a hierarchical directory structure in a system like Subversion. The model is that directories and files can b...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
In this work, we present a new method for generating a threshold structure. This kind of structure can be advantageously used in various halftoning algorithms such as clustered-do...
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
Complex human motion sequences (such as dances) are typically analyzed by segmenting them into shorter motion sequences, called gestures. However, this segmentation process is sub...