598 search results - page 61 / 120 » Independence Semantics for BKBs |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...
FOIS
2008
15 years 1 months ago
2008
Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual...
117
click to vote
SIS
2004
15 years 1 months ago
2004
The shift from paper documents to their respective electronic formats is producing important advantages in the functioning of businesses and Public Administrations. However, this s...
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
"Bag of words" models have enjoyed much attention and achieved good performances in recent studies of object categorization. In most of these works, local patches are mo...