1178 search results - page 154 / 236 » An Approach to Exploring Description Logic Knowledge Bases |
197
click to vote
WISE
2006
Springer
16 years 5 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...
166
click to vote
IEEESCC
2008
IEEE
16 years 18 days 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...
168
click to vote
IJCAI
2007
15 years 7 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,...
164
click to vote
IJCNN
2008
IEEE
16 years 18 days 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...
170
click to vote
ISSTA
2004
ACM
15 years 11 months 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...