2414 search results - page 234 / 483 » Reasoning Support for OWL-E |
182
click to vote
IEEEAMS
2003
IEEE
15 years 12 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
193
click to vote
NCA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper studies the optimal placement of web files for en-route web caching. It is shown that existing placement policies are all solving restricted partial problems of the ...
165
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
174
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
164
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
In recent years, practical applications of legal knowledge-based systems have become increasingly common. This raises the issue of their functioning in practice and their actual in...