1269 search results - page 154 / 254 » Pi-Calculus in Logical Form |
153
click to vote
VISUALIZATION
1999
IEEE
15 years 9 months ago
1999
IEEE
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
133
click to vote
CIA
2006
Springer
15 years 9 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
176
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
141
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between the components of heterogeneous ontologies. These mapp...
157
click to vote
FPGA
2006
ACM
15 years 9 months ago
2006
ACM
This report describes a preliminary evaluation of possible performance of an FPGA-like architecture for future hybrid "CMOL" circuits which combine a semiconductor-trans...