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 5 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 5 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 5 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

13 years 6 months 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

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers