12774 search results - page 2322 / 2555 » A Framework for Proof Systems |
176
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
189
click to vote
GECON
2008
Springer
15 years 7 months ago
2008
Springer
The application of autonomous agents by the provisioning and usage of computational resources is an attractive research field. Various methods and technologies in the area of arti...
187
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
Link prediction is a key technique in many applications such as recommender systems, where potential links between users and items need to be predicted. A challenge in link predic...
157
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
179
click to vote
ACMDIS
2010
ACM
15 years 6 months ago
2010
ACM
Motivated and informed by perspectives on sustainability and design, this paper draws on a diverse body of scholarly works related to energy and materiality to articulate a perspe...