Sciweavers

72 search results - page 1 / 15

» Persistent Logical Synchrony

15

NCA
2008
IEEE

112views Computer Networks» more NCA 2008»

Persistent Logical Synchrony

13 years 12 months ago

Persistent Logical Synchrony

Download web.iti.upv.es

Francesc D. Muñoz-Escoí, Rubé...

claim paper

Read More »

11

PDPTA
2010

121views Distributed And Parallel Com...» more PDPTA 2010»

Extending Virtual Synchrony with Persistency

13 years 3 months ago

Extending Virtual Synchrony with Persistency

Download web.iti.upv.es

Ruben de Juan-Marýn, José Enrique Ar...

claim paper

Read More »

10

AIML
2004

81views Logical Reasoning» more AIML 2004»

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States

13 years 7 months ago

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States

Download www.cse.unsw.edu.au

Tim French, Ron van der Meyden, Mark Reynolds

claim paper

Read More »

12

NECO
2008

116views more NECO 2008»

A (Somewhat) New Solution to the Variable Binding Problem

13 years 5 months ago

A (Somewhat) New Solution to the Variable Binding Problem

Download leon.barrettnexus.com

To perform automatic, unconscious inference, the human brain must solve the "binding problem" by correctly grouping properties with objects. Temporal binding models like...

Leon Barrett, Jerome Feldman, Liam Mac Dermed

claim paper

Read More »

15

JLP
2010

85views more JLP 2010»

Synchronous Kleene algebra

13 years 10 days ago

Synchronous Kleene algebra

Download folk.uio.no

The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...

Cristian Prisacariu

claim paper

Read More »

« Prev « First page 1 / 15 Last » Next »