Sciweavers

1699 search results - page 118 / 340
» A timed semantics of Orc
Sort
View
SIGSOFT
2009
ACM
14 years 9 months ago
SCA: a semantic conflict analyzer for parallel changes
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
WIKIS
2006
ACM
14 years 2 months ago
SweetWiki: semantic web enabled technologies in Wiki
Wikis are social web sites enabling a potentially large number of participants to modify any page or create a new page using their web browser. As they grow, wikis may suffer from...
Michel Buffa, Fabien Gandon
ICDT
2010
ACM
194views Database» more  ICDT 2010»
13 years 10 months ago
Bag Equivalence of XPath Queries
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
Sara Cohen, Yaacov Y. Weiss
SIVP
2008
127views more  SIVP 2008»
13 years 8 months ago
Image indexing and retrieval using expressive fuzzy description logics
Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...
Nikos Simou, Thanos Athanasiadis, Giorgos Stoilos,...
TIME
1998
IEEE
14 years 13 days ago
A Logic of Action, Causality, and the Temporal Relations of Events
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
Richard B. Scherl, Glenn Shafer