966 search results - page 63 / 194 » Communicating Answer Set Programs |
121
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
166
click to vote
CPAIOR
2011
Springer
14 years 6 months ago
2011
Springer
In this work we present the Partner Units Problem as a novel challenge for optimization methods. It captures a certain type of configuration problem that frequently occurs in indu...
110
click to vote
ANLP
1994
15 years 3 months ago
1994
A computational model for the acquisition of knowledge from encyclopedic texts is described. The model has been implemented in a program, called SNOWY, that reads unedited texts f...
185
click to vote
HIS
2009
15 years 6 days ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
116
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...