3844 search results - page 403 / 769 » Modular interpreted systems |
171
click to vote
FLOPS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
144
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a framework for building an ontology to provide semantic interpretations in image contents. The novelty of this framework comes from building a MPEG-7 ontology ...
163
click to vote
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
143
click to vote
INTERACT
2007
15 years 7 months ago
2007
Most visualization systems fail to convey uncertainty within data. To provide a way to show uncertainty in similar hierarchies, we interpreted the differences between two tree stru...
172
click to vote
FLAIRS
2006
15 years 7 months ago
2006
When knowledge systems are deployed into a real-world application, then the maintenance and the refinement of the knowledge are essential tasks. Many existing automatic knowledge ...