Search Sciweavers | Sciweavers

906 search results - page 2 / 182

» Linking Theories of Concurrency

click to vote

CONCURRENCY
2008

55views more CONCURRENCY 2008»

Modeling language and tools for the semantic link network

13 years 11 months ago

Download www.knowledgegrid.net

Hai Zhuge, Kehua Yuan, Jin Liu, Junsheng Zhang, Xi...

claim paper

Read More »

click to vote

ACS
2007

133views Distributed And Parallel Com...» more ACS 2007»

Directed Algebraic Topology, Categories and Higher Categories

13 years 11 months ago

Download www.dima.unige.it

Directed Algebraic Topology is a recent ﬁeld, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology gro...

Marco Grandis

claim paper

Read More »

click to vote

CORR
2010
Springer

156views Education» more CORR 2010»

On CSP and the Algebraic Theory of Effects

13 years 11 months ago

Download homepages.inf.ed.ac.uk

We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...

Rob J. van Glabbeek, Gordon D. Plotkin

claim paper

Read More »

click to vote

IJCAI
1997

125views Artificial Intelligence» more IJCAI 1997»

Implementing BDI-like Systems by Direct Execution

14 years 5 days ago

Download dli.iiit.ac.in

While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...

Michael Fisher

claim paper

Read More »

click to vote

DLT
2010

166views Theoretical Computer Science» more DLT 2010»

Numeration Systems: A Link between Number Theory and Formal Language Theory

14 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers