Sciweavers

3238 search results - page 230 / 648
» On the Computational Interpretation of Negation
Sort
View
ICCS
2000
Springer
15 years 10 months ago
A Conceptual Graph Model for W3C Resource Description Framework
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
Olivier Corby, Rose Dieng, Cédric Hé...
NSDI
2008
15 years 9 months ago
IRBs and Security Research: Myths, Facts and Mission Creep
Having decided to focus attention on the "weak link" of human fallibility, a growing number of security researchers are discovering the US Government's regulations ...
Simson L. Garfinkel
AMAST
2008
Springer
15 years 8 months ago
Petri Nets Are Dioids
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation o...
Paolo Baldan, Fabio Gadducci
CHIMIT
2008
ACM
15 years 8 months ago
Policy-based IT automation: the role of human judgment
Policy-based automation is emerging as a viable approach to IT systems management, codifying high-level business goals into executable specifications for governing IT operations. ...
Eser Kandogan, John H. Bailey, Paul P. Maglio, Ebe...
ACL
2006
15 years 8 months ago
Local Constraints on Sentence Markers and Focus in Somali
We present a computationally tractable account of the interactions between sentence markers and focus marking in Somali. Somali, as a Cushitic language, has a basic pattern wherei...
Katherine Hargreaves, Allan Ramsay