Sciweavers

160 search results - page 17 / 32
» Structural characterizations of schema-mapping languages
Sort
View
CAISE
2007
Springer
14 years 1 months ago
Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
Giancarlo Guizzardi
IFIP
2009
Springer
14 years 7 days ago
New Organizational Forms to Extend the Professional Active Life
A major challenge in effective active ageing support is to identify/design new organizational structures, approaches, and mechanisms so that on one hand older people do not feel ex...
Antonio del Cura, Luis M. Camarinha-Matos, Filipa ...
ICMLA
2009
13 years 5 months ago
Text Classification Methodologies Applied to Micro-Text in Military Chat
We propose methods to classify lines of military chat, or posts, which contain items of interest. We evaluated several current text categorization and feature selection methodologi...
Kevin Dela Rosa, Jeffrey Ellen
IFIP
2010
Springer
13 years 2 months ago
Secrecy and Authenticity Types for Secure Distributed Messaging
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
Michele Bugliesi, Stefano Calzavara, Damiano Maced...
ACL
2008
13 years 9 months ago
A Logical Basis for the D Combinator and Normal Form in CCG
The standard set of rules defined in Combinatory Categorial Grammar (CCG) fails to provide satisfactory analyses for a number of syntactic structures found in natural languages. T...
Frederick Hoyt, Jason Baldridge