17983 search results - page 390 / 3597 » Set Types and Applications |
158
Voted
APN
2004
Springer
16 years 7 days ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
183
click to vote
DAM
2008
15 years 7 months ago
2008
This paper presents the axioms of a real time random walk on the set of states of a medium and some of their consequences, such as the asymptotic probabilities of the states. The ...
148
click to vote
IJCAI
2007
15 years 8 months ago
2007
Classic direct mechanisms require full type (or utility) revelation from participating agents, something that can be very difficult in practical multi-attribute settings. In this...
178
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
193
click to vote
JSC
2002
15 years 6 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...