Sciweavers

7943 search results - page 27 / 1589

» A calculus for costed computations

54

CIE
2008
Springer

70views Applied Computing» more CIE 2008»

Implementing Spi Calculus Using Nominal Techniques

15 years 2 months ago

Implementing Spi Calculus Using Nominal Techniques

Download www.cs.swan.ac.uk

Temesghen Kahsai, Marino Miculan

claim paper

Read More »

80

GRC
2008
IEEE

131views Applied Computing» more GRC 2008»

ANN-modeled-classification based on Pi-Calculus

15 years 1 months ago

ANN-modeled-classification based on Pi-Calculus

Download lib.xpu.edu.cn

Ning Chen

claim paper

Read More »

81

Voted

COLING
1999

111views Computational Linguistics» more COLING 1999»

Tree Adjoining Grammars in a Fragment of the Lambek Calculus

15 years 10 days 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 »

86

Voted

IFIPTCS
2010

126views Theoretical Computer Science» more IFIPTCS 2010»

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

14 years 10 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 »

123

DOCENG
2006
ACM

171views Document Analysis» more DOCENG 2006»

Comparing XML path expressions

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