Sciweavers

7943 search results - page 27 / 1589

» A calculus for costed computations

96

CIE
2008
Springer

70views Applied Computing» more CIE 2008»

Implementing Spi Calculus Using Nominal Techniques

15 years 8 months ago

Implementing Spi Calculus Using Nominal Techniques

Download www.cs.swan.ac.uk

Temesghen Kahsai, Marino Miculan

claim paper

Read More »

126

GRC
2008
IEEE

131views Applied Computing» more GRC 2008»

ANN-modeled-classification based on Pi-Calculus

15 years 7 months ago

ANN-modeled-classification based on Pi-Calculus

Download lib.xpu.edu.cn

Ning Chen

claim paper

Read More »

131

COLING
1999

111views Computational Linguistics» more COLING 1999»

Tree Adjoining Grammars in a Fragment of the Lambek Calculus

15 years 5 months ago

Tree Adjoining Grammars in a Fragment of the Lambek Calculus

Download acl.ldc.upenn.edu

V. Michele Abrusci, Christophe Fouqueré, Ja...

claim paper

Read More »

132

IFIPTCS
2010

126views Theoretical Computer Science» more IFIPTCS 2010»

A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks

15 years 4 months ago

A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks

Download www.dsi.unive.it

Lucia Gallina, Sabina Rossi

claim paper

Read More »

173

DOCENG
2006
ACM

171views Document Analysis» more DOCENG 2006»

Comparing XML path expressions

16 years 1 days ago

Comparing XML path expressions

Download wam.inrialpes.fr

XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...

Pierre Genevès, Nabil Layaïda

claim paper

Read More »

« Prev « First page 27 / 1589 Last » Next »