827 search results - page 128 / 166 » Patterns for Timed Property Specifications |
136
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The edit distance problem is a classical fundamental problem in computer science in general, and in combinatorial pattern matching in particular. The standard dynamic programming s...
147
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
In this paper, we study the problem of nonnegative graph
embedding, originally investigated in [14] for reaping the
benefits from both nonnegative data factorization and the
spe...
117
click to vote
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
The provision of context-aware services in terms of the anytime/anywhere/anymedia paradigm requires the consideration of certain context properties in terms of time, location, devi...
132
click to vote
ICECCS
1999
IEEE
15 years 6 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
120
click to vote
DAWAK
1999
Springer
15 years 6 months ago
1999
Springer
Efficient index construction in multidimensional data spaces is important for many knowledge discovery algorithms, because construction times typically must be amortized by perform...