310 search results - page 48 / 62 » Comparing the Conceptual Systems of Experts |
FMICS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
ISTA
2004
13 years 11 months ago
2004
Currently, there are two main basic approaches to data integration: Global-as-View (GaV) and Local-as-View (LaV). However, both GaV and LaV have their limitations. In a GaV approa...
WSCG
2004
13 years 11 months ago
2004
We present an accurate, interactive silhouette extraction mechanism for texture-based volume rendering. Compared to previous approaches, our system guarantees silhouettes of a use...
BDIM
2007
IEEE
13 years 10 months ago
2007
IEEE
In this paper we present an approach for specifying respect to security. When an organization wants to secure and prioritizing information security requirements in organiza- its sy...
AAMAS
2008
Springer
13 years 10 months ago
2008
Springer
The continuous growth in ubiquitous and mobile network connectivity, together with the increasing number of networked devices populating our everyday environments, call for a deep ...