827 search results - page 121 / 166 » Patterns for Timed Property Specifications |
236
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...
112
click to vote
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
Compound images contain a mixture of natural images, text, and graphics. They need special care in the use of compression because text and graphics cannot withstand the significan...
152
click to vote
ICML
2000
IEEE
16 years 2 months ago
2000
IEEE
This paper has no novel learning or statistics: it is concerned with making a wide class of preexisting statistics and learning algorithms computationally tractable when faced wit...
107
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
128
click to vote
LATA
2009
Springer
15 years 8 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...