Search Sciweavers | Sciweavers

29

AISC
2004
Springer

99views Artificial Intelligence» more AISC 2004»

Four Approaches to Automated Reasoning with Differential Algebraic Structures

13 years 11 months ago

While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...

Jesús Aransay, Clemens Ballarin, Julio Rubi...

claim paper

Read More »

22

click to vote

CORR
2007
Springer

117views Education» more CORR 2007»

Dynamic Logic of Common Knowledge in a Proof Assistant

13 years 7 months ago

Download perso.ens-lyon.fr

Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...

Pierre Lescanne, Jérôme Puissé...

claim paper

Read More »

16

click to vote

BC
2008

72views more BC 2008»

Dynamics and bifurcations of the adaptive exponential integrate-and-fire model

13 years 7 months ago

Download www-sop.inria.fr

Recently, several two-dimensional spiking neuron models have been introduced, with the aim of reproducing the diversity of electrophysiological features displayed by real neurons w...

Jonathan Touboul, Romain Brette

claim paper

Read More »

23

click to vote

VSTTE
2010
Springer

131views Software Engineering» more VSTTE 2010»

Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients

13 years 6 months ago

Download software.imdea.org

Abstract. The Composite design pattern is an exemplar of speciﬁcation and veriﬁcation challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...

Stan Rosenberg, Anindya Banerjee, David A. Naumann

claim paper

Read More »

24

click to vote

EUSFLAT
2009

113views Fuzzy Logic» more EUSFLAT 2009»

Real-Time Segmentation of Moving Objects in H.264 Compressed Domain with Dynamic Design of Fuzzy Sets

13 years 5 months ago