Sciweavers

4201 search results - page 279 / 841
» Interaction graphs: Additives
Sort
View
ECEASST
2006
103views more  ECEASST 2006»
15 years 6 months ago
Petri Nets and Matrix Graph Grammars: Reachability
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
Juan de Lara, Pedro Pablo Pérez Velasco
IANDC
2008
141views more  IANDC 2008»
15 years 6 months ago
Graph connectivity, partial words, and a theorem of Fine and Wilf
The problem of computing periods in words, or finite sequences of symbols from a finite alphabet, has important applications in several areas including data compression, string se...
Francine Blanchet-Sadri, Deepak Bal, Gautam Sisodi...
SEMWEB
2009
Springer
16 years 1 months ago
XLWrap - Querying and Integrating Arbitrary Spreadsheets with SPARQL
In this paper a novel approach is presented for generating RDF graphs of arbitrary complexity from various spreadsheet layouts. Currently, none of the available spreadsheet-to-RDF ...
Andreas Langegger, Wolfram Wöß
CSL
2005
Springer
16 years 6 days ago
L-Nets, Strategies and Proof-Nets
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...
Pierre-Louis Curien, Claudia Faggian
SIGCSE
1999
ACM
179views Education» more  SIGCSE 1999»
15 years 11 months ago
Hospital emergency room simulation: object oriented design issues for CS2
This paper describes a project suitable for students in CS2 that combines the classical implementation of basic data structures (priority queues, lists, arrays) with the design an...
Viera K. Proulx