5198 search results - page 796 / 1040 » A Logic of Agent Programs |
184
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
169
click to vote
LATA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
169
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...
182
click to vote
ISVC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The function of a protein is dependent on whether and how it can interact with various ligands. Therefore, an accurate prediction of protein-ligand interactions is paramo...
171
click to vote
SEUS
2005
IEEE
16 years 7 days ago
2005
IEEE
Nomadic computing environments are composed of heterogeneous mobile computing domains. Unfortunately, the service discovery platforms suitable for each domain are scarcely interop...