2214 search results - page 183 / 443 » complexity 2004 |
90
Voted
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
122
click to vote
COORDINATION
2004
Springer
15 years 8 months ago
2004
Springer
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
CRYPTO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we study the existence of multicollisions in iterated hash functions. We show that finding multicollisions, i.e. r-tuples of messages that all hash to the...
113
click to vote
DAGM
2004
Springer
15 years 8 months ago
2004
Springer
We present an approach to discretizing multivariate continuous data while learning the structure of a graphical model. We derive the joint scoring function from the principle of p...
113
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...