Sciweavers

263 search results - page 5 / 53
» Discrete Symbol Calculus
Sort
View
85
Voted
CORR
2006
Springer
99views Education» more  CORR 2006»
14 years 9 months ago
Inductive types in the Calculus of Algebraic Constructions
In a previous work, we proved that almost all of the Calculus of Inductive Constructions (CIC), the basis of the proof assistant Coq, can be seen as a Calculus of Algebraic Constru...
Frédéric Blanqui
78
Voted
HYBRID
1994
Springer
15 years 1 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
98
Voted
APN
2008
Springer
14 years 11 months ago
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...
Morgan Magnin, Didier Lime, Olivier H. Roux
ICANN
2001
Springer
15 years 2 months ago
Online Symbolic-Sequence Prediction with Discrete-Time Recurrent Neural Networks
This paper studies the use of discrete-time recurrent neural networks for predicting the next symbol in a sequence. The focus is on online prediction, a task much harder than the c...
Juan Antonio Pérez-Ortiz, Jorge Calera-Rubi...
AUTOMATICA
2008
74views more  AUTOMATICA 2008»
14 years 9 months ago
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
screte abstractions Gr
Grégory Batt, Hidde de Jong, Michel Page, J...