Sciweavers

1863 search results - page 171 / 373
» Natural Language Analysis for Semantic Document Modeling
Sort
View
POPL
2009
ACM
16 years 7 months ago
Wild control operators
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
Chris Barker
JSW
2007
120views more  JSW 2007»
15 years 6 months ago
Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Thomas Triebsees
STACS
2001
Springer
15 years 10 months ago
Semantical Principles in the Modal Logic of Coalgebras
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
Dirk Pattinson
SIGDOC
2009
ACM
16 years 26 days ago
Formalization and community investment in wikipedia's regulating texts: the role of essays
This poster presents ongoing research on how discursive and editing behaviors are regulated on Wikipedia by means of documented rules and practices. Our analysis focuses on three ...
Jonathan T. Morgan, Katie Derthick, Toni Ferro, El...
POPL
2012
ACM
14 years 1 months ago
A language for automatically enforcing privacy policies
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
Jean Yang, Kuat Yessenov, Armando Solar-Lezama