Sciweavers

963 search results - page 72 / 193
» $M$-Solid Varieties of Languages
Sort
View
POS
1994
Springer
14 years 1 months ago
Protection in Grasshopper: A Persistent Operating System
nt systems support a single storage abstraction in which all data may be created and manipulated in a uniform manner, regardless of its longevity. In such systems a protection mec...
Alan Dearle, Rex di Bona, James Farrow, Frans A. H...
EDOC
2004
IEEE
14 years 20 days ago
Notations for the Specification and Verification of Composite Web Services
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
Simon J. Woodman, Doug J. Palmer, Santosh K. Shriv...
LREC
2010
134views Education» more  LREC 2010»
13 years 10 months ago
VenPro: A Morphological Analyzer for Venetan
This document reports the process of extending MorphoPro for Venetan, a lesser-used language spoken in the Nort-Eastern part of Italy. MorphoPro is the morphological component of ...
Sara Tonelli, Emanuele Pianta, Rodolfo Delmonte, M...
LREC
2010
187views Education» more  LREC 2010»
13 years 10 months ago
Analysing Temporally Annotated Corpora with CAVaT
We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific t...
Leon Derczynski, Robert J. Gaizauskas
CG
2004
Springer
13 years 8 months ago
Procedural 3D texture synthesis using genetic programming
The automatic synthesis of procedural textures for 3D surfaces using genetic programming is investigated. Genetic algorithms employ a search strategy inspired by Darwinian natural...
Adam Hewgill, Brian J. Ross