2252 search results - page 349 / 451 » Regular expression patterns |
CSL
2009
Springer
15 years 9 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
104
click to vote
MHCI
2009
Springer
15 years 9 months ago
2009
Springer
Mobile phones with integrated video cameras have become ubiquitous tools that people use both to document everyday surroundings and to express themselves artistically. In this pap...
127
click to vote
MLDM
2009
Springer
15 years 9 months ago
2009
Springer
This work presents an image analysis framework driven by emerging evidence and constrained by the semantics expressed in an ontology. Human perception, apart from visual stimulus a...
100
click to vote
PET
2009
Springer
15 years 9 months ago
2009
Springer
We present the Vida family of abstractions of anonymous communication systems, model them probabilistically and apply Bayesian inference to extract patterns of communications and u...
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— In this paper we consider reaching binary consensus over a network with AWGN channels. We consider the case where knowledge of the corresponding link qualities is avail...