2278 search results - page 266 / 456 » Specification Techniques for Automatic Performance Analysis ... |
161
Voted
WILF
2005
Springer
15 years 11 months ago
2005
Springer
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
157
click to vote
ATVA
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
170
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
The Hierarchical SEGmentation (HSEG) algorithm, which is a combination of hierarchical step-wise optimization and spectral clustering, has given good performances for hyperspectra...
188
Voted
ISMB
1998
15 years 7 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
155
click to vote
LICS
2009
IEEE
16 years 23 days ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...