7075 search results - page 1314 / 1415 » Models and heterogeneous reasoning |
KBSE
2010
IEEE
15 years 1 days ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
127
click to vote
KESAMSTA
2010
Springer
15 years 1 days ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
117
click to vote
MFCS
2010
Springer
15 years 1 days ago
2010
Springer
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...
132
click to vote
TKDE
2010
14 years 12 months ago
2010
—In this paper, we describe and evaluate a Web service discovery framework using OWL-S advertisements, combined with the distinction between service and Web service of the WSMO D...
108
click to vote
TOMS
2010
14 years 12 months ago
2010
The Tutte polynomial of a graph, also known as the partition function of the q-state Potts model, is a 2-variable polynomial graph invariant of considerable importance in both comb...