662 search results - page 75 / 133 » Formalizing Basic First Order Model Theory |
126
Voted
CMSB
2007
Springer
15 years 8 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
107
Voted
ICIP
2009
IEEE
15 years 9 days ago
2009
IEEE
By formulating the problem of ordering the outputs observed from a device over time, we pose a new problem in forensics and propose a framework for addressing this problem of devi...
106
click to vote
LPNMR
1990
Springer
15 years 6 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
135
Voted
APN
2008
Springer
15 years 4 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
143
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...