1423 search results - page 231 / 285 » Interpreting distributed ontologies |
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
DCC
2010
IEEE
14 years 1 months ago
2010
IEEE
This paper interprets image interpolation as a channel decoding problem and proposes a tanner graph based interpolation framework, which regards each pixel in an image as a variab...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Research within knowledge management tends to either overemphasize or underestimate the role of Information and Communication Technology (ICT). Furthermore, much of the ICT suppor...
ICSE
2001
IEEE-ACM
14 years 16 days ago
2001
IEEE-ACM
Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core – ...
ACSD
1998
IEEE
14 years 11 days ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...