Sciweavers

1941 search results - page 30 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
VRCAI
2004
ACM
15 years 5 months ago
Explorative construction of virtual worlds: an interactive kernel approach
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
Jinseok Seo, Gerard Jounghyun Kim
DNA
2009
Springer
145views Bioinformatics» more  DNA 2009»
15 years 6 months ago
Distributed Agreement in Tile Self-assembly
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
Aaron Sterling
CIVR
2004
Springer
141views Image Analysis» more  CIVR 2004»
15 years 5 months ago
Natural Scene Retrieval Based on a Semantic Modeling Step
In this paper, we present an approach for the retrieval of natural scenes based on a semantic modeling step. Semantic modeling stands for the classification of local image regions...
Julia Vogel, Bernt Schiele
CIE
2005
Springer
15 years 5 months ago
Kripke Models, Distributive Lattices, and Medvedev Degrees
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
Sebastiaan Terwijn
AIMS
2007
Springer
15 years 6 months ago
Harnessing Models for Policy Conflict Analysis
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
Steven Davy, Brendan Jennings