1529 search results - page 43 / 306 » Search Space Analysis of the Linear Ordering Problem |
140
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
124
Voted
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
128
Voted
ISMIS
1999
Springer
15 years 8 months ago
1999
Springer
Knowledge Discovery in Databases (KDD) is a data analysis process which, in contrast to conventional data analysis, automatically generates and evaluates very many hypotheses, deal...
196
Voted
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
This paper concerns the discovery of patterns in gene expression matrices, in which each element gives the expression level of a given gene in a given experiment. Most existing me...
174
Voted
NPL
2002
15 years 3 months ago
2002
A novel multistage feedforward network is proposed for efficient solving of difficult classification tasks. The standard Radial Basis Functions (RBF) architecture is modified in or...