1178 search results - page 154 / 236 » An Approach to Exploring Description Logic Knowledge Bases |
209
click to vote
WISE
2006
Springer
16 years 24 days ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
182
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes characteristics of information and service design by exploring the needs and motivations of tourists. Tourists are expected to be important and demanding user...
194
click to vote
IJCAI
2007
15 years 8 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
175
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Meta-learning helps us find solutions to computational intelligence (CI) challenges in automated way. Metalearning algorithm presented in this paper is universal and m...
201
click to vote
ISSTA
2004
ACM
16 years 7 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...