413 search results - page 53 / 83 » BLID: An Application of Logical Information Systems to Bioin... |
ISMAR
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...
ADBIS
2006
Springer
13 years 11 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
FMSD
2006
13 years 7 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
RULEML
2005
Springer
14 years 1 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
AO
2007
13 years 7 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...