Sciweavers

7943 search results - page 27 / 1589

» A calculus for costed computations

108

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 »

142

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 »

142

COLING
1999

111views Computational Linguistics» more COLING 1999»

Tree Adjoining Grammars in a Fragment of the Lambek Calculus

15 years 6 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 »

149

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 »

185

DOCENG
2006
ACM

171views Document Analysis» more DOCENG 2006»

Comparing XML path expressions

16 years 20 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 »