1916 search results - page 342 / 384 » Reasoning with class algebra |
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
KESAMSTA
2010
Springer
13 years 6 months ago
2010
Springer
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
PVLDB
2010
13 years 6 months ago
2010
A variety of integrity constraints have been studied for data cleaning. While these constraints can detect the presence of errors, they fall short of guiding us to correct the err...
SCHEDULING
2010
13 years 6 months ago
2010
Scheduling term-end exams (TEE) at the United States Military Academy in West Point is unlike any other exam timetabling problem we know of. Exam timetabling normally produces a c...
SUM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...