3457 search results - page 407 / 692 » A Symbol Is Not a Symbol |
176
Voted
CPM
2004
Springer
16 years 6 days ago
2004
Springer
Given a matrix X composed of symbols, a bicluster is a submatrix of X obtained by removing some of the rows and some of the columns of X in such a way that each row of what is lef...
177
click to vote
CSL
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
164
click to vote
FATES
2004
Springer
16 years 6 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
167
click to vote
FORMATS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
222
click to vote
FOSSACS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...