786 search results - page 99 / 158 » Adequacy of Limited Testing for Knowledge Based Systems |
ICNP
1999
IEEE
14 years 3 days ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...
CASCON
2006
13 years 9 months ago
2006
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
Our system suggests likely identity labels for photographs in a personal photo collection. Instead of using face recognition techniques, the system leverages automatically availab...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...