Sciweavers

1862 search results - page 197 / 373
» Constrained pattern matching
Sort
View
119
Voted
ATAL
2007
Springer
15 years 9 months ago
Programming and simulation of quantum search agents
Key idea of this work is to appropriately extend one prominent generic agent architecture, namely InteRRap [8], to the case of a quantum pattern matching (QPM) based type-I quantu...
Matthias Klusch, René Schubotz
123
Voted
FOSSACS
2003
Springer
15 years 8 months ago
Manipulating Trees with Hidden Labels
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
ACL
2008
15 years 4 months ago
Demonstration of the UAM CorpusTool for Text and Image Annotation
This paper introduced the main features of the UAM CorpusTool, software for human and semi-automatic annotation of text and images. The demonstration will show how to set up an an...
Mick O'Donnell
SFP
2003
15 years 4 months ago
FSM-Hume is finite state
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
Greg Michaelson, Kevin Hammond, Jocelyn Sér...
CORR
2004
Springer
71views Education» more  CORR 2004»
15 years 3 months ago
A novel approach to symbolic algebra
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient fr...
Thomas Fischbacher