Sciweavers

6343 search results - page 344 / 1269
» Development of a Cartographic Language
Sort
View
ENTCS
2008
89views more  ENTCS 2008»
15 years 6 months ago
A Quantum Game Semantics for the Measurement Calculus
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
Yannick Delbecque
151
Voted
IR
2008
15 years 6 months ago
Efficient algorithms for pattern matching with general gaps, character classes, and transposition invariance
We develop efficient dynamic programming algorithms for pattern matching with general gaps and character classes. We consider patterns of the form p0g(a0, b0)p1g(a1, b1) . . . pm-1...
Kimmo Fredriksson, Szymon Grabowski
CONCURRENCY
2004
90views more  CONCURRENCY 2004»
15 years 6 months ago
Programming and coordinating Grid environments and applications
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
Cristina D. Ururahy, Noemi de La Rocque Rodriguez
CL
1999
Springer
15 years 6 months ago
Compositional Petri net models of advanced tasking in Ada-95
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
INLG
2010
Springer
15 years 4 months ago
Using Semantic Web Technology to Support NLG. Case Study: OWL finds RAGS
The semantic web is a general vision for supporting knowledge-based processing across the WWW and its successors. As such, semantic web technology has potential to support the exc...
Chris Mellish