6167 search results - page 972 / 1234 » Can Refinement be Automated |
87
Voted
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
116
Voted
ERCIMDL
2007
Springer
15 years 7 months ago
2007
Springer
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...
103
Voted
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
We investigate scalable algorithms for automated composition (WSC) of Semantic Web Services. Our notion of WSC is very general: the composition semantics includes background knowl...
99
Voted
FASE
2007
Springer
15 years 7 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...