Sciweavers

2139 search results - page 75 / 428
» Connecting language to the world
Sort
View
LICS
2002
IEEE
15 years 11 months ago
Linearity in Process Languages
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
Mikkel Nygaard, Glynn Winskel
LREC
2008
86views Education» more  LREC 2008»
15 years 7 months ago
Valentino: A Tool for Valence Shifting of Natural Language Texts
In this paper a first implementation of a tool for valence shifting of natural language texts, named Valentino (VALENced Text INOculator), is presented. Valentino can modify exist...
Marco Guerini, Carlo Strapparava, Oliviero Stock

Book
313views
17 years 4 months ago
A Functional Pattern System for Object-Oriented Design
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
Thomas Kühne
DBSEC
2007
121views Database» more  DBSEC 2007»
15 years 7 months ago
XACML Policies for Exclusive Resource Usage
The extensible access control markup language (XACML) is the standard access control policy specification language of the World Wide Web. XACML does not provide exclusive accesse...
Vijayant Dhankhar, Saket Kaushik, Duminda Wijeseke...
CALCO
2009
Springer
133views Mathematics» more  CALCO 2009»
16 years 23 days ago
Stone Duality and the Recognisable Languages over an Algebra
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
Mai Gehrke