2309 search results - page 352 / 462 » Using Meta-Structures in Database Design |
146
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
119
click to vote
STORAGESS
2006
ACM
15 years 10 months ago
2006
ACM
This paper argues that the network latency due to synchronous replication is no longer tolerable in scenarios where businesses are required by regulation to separate their seconda...
177
click to vote
VRST
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
156
Voted
COSIT
2005
Springer
15 years 10 months ago
2005
Springer
In this paper two concepts for modelling 3D topography are introduced. The first concept is a very pragmatic approach of 3D modelling, trying to model as much as possible in (less...
175
Voted
KDD
2004
ACM
15 years 10 months ago
2004
ACM
Semantic understanding of multimedia content is critical in enabling effective access to all forms of digital media data. By making large media repositories searchable, semantic ...