Sciweavers

1366 search results - page 116 / 274
» Modularizing Contexted Constraints
Sort
View
AIML
2000
15 years 21 days ago
Towards a Many-Dimensional Modal Logic for Semantic Processing
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
Tim Fernando
AMW
2009
15 years 14 days ago
Stop the Chase: Short Contribution
Abstract. The chase procedure, an algorithm proposed 25+ years ago to fix constraint violations in database instances, has been successfully applied in a variety of contexts, such ...
Michael Meier 0002, Michael Schmidt, Georg Lausen
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 1 months ago
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...
Vineet Kahlon, Chao Wang
IJCAI
2003
15 years 22 days ago
A semantic framework for multimedia document adaptation
With the proliferation of heterogeneous devices (desktop computers, personal digital assistants, phones), multimedia documents must be played under various constraints (small scre...
Jérôme Euzenat, Nabil Layaïda, V...
CIKM
2005
Springer
15 years 4 months ago
Access control for XML: a dynamic query rewriting approach
We introduce the notion of views as a mechanism for securing and providing access control in the context of XML. Research in XML has explored several efficient querying mechanism...
Sriram Mohan, Arijit Sengupta, Yuqing Wu