Sciweavers

4199 search results - page 489 / 840
» Generalizing Data in Natural Language
Sort
View
CALCO
2007
Springer
86views Mathematics» more  CALCO 2007»
16 years 25 days ago
Bootstrapping Types and Cotypes in HasCASL
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
Lutz Schröder
IUI
2006
ACM
16 years 18 days ago
Intelligent fridge poetry magnets
This paper presents a community of communicating embodied agents which learn an adjacency-based grammar from user interactions. The agents act as intelligent fridge magnets, each ...
Kavita Thomas, Pierre Proske, Mattias Rickardsson
CSFW
2005
IEEE
16 years 8 days ago
End-to-End Availability Policies and Noninterference
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
Lantian Zheng, Andrew C. Myers
TBILLC
2005
Springer
16 years 3 days ago
The Main Devices of Foregrounding in the Information Structure of Georgian Sentences
Structuring of information proceeds through the foregrounding of certain parts of the information. In general, foregrounding can be realized on various linguistic levels and it is...
Rusudan Asatiani
DOCENG
2004
ACM
16 years 2 days ago
On modular transformation of structural content
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
Tyng-Ruey Chuang, Jan-Li Lin