7868 search results - page 344 / 1574 » Learning by Answer Sets |
185
click to vote
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. One question that arises if we want to evolve generation techniques to accommodate Web ontologies is how to capture and expose the relevant ontology content to the user. ...
163
click to vote
IAT
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper describes the architecture of the fourth version of the Evolutionary Virtual Agent (EVA). This new light-weight java-based implementation is based on a dynamical rule-b...
149
click to vote
AINA
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper points out the privacy issue in the OCSP (Online Certificate Status Protocol), namely, the OCSP responder learns confidential information – who sends a message to w...
159
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
163
click to vote
ARCS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...