1888 search results - page 233 / 378 » Proof theory and computational analysis |
107
click to vote
IJCAI
1989
15 years 3 months ago
1989
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
133
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
We introduce the coupled placement problem for modern data centers spanning placement of application computation and data among available server and storage resources. While the t...
133
Voted
DOCENG
2006
ACM
15 years 7 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
135
click to vote
SIAMAM
2008
15 years 1 months ago
2008
Neural fields are an interesting option for modelling macroscopic parts of the cortex involving several populations of neurons, like cortical areas. Two classes of neural field equ...
123
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
It is self-evident that in numerous Multiagent settings, selfish agents stand to benefit from cooperating by forming coalitions. Nevertheless, negotiating a stable distribution of...