6484 search results - page 1196 / 1297 » Physical Database Design |
124
click to vote
ADMA
2006
Springer
15 years 10 months ago
2006
Springer
Feature selection is an important data preprocessing step in data mining and pattern recognition. Many algorithms have been proposed in the past for simple patterns that can be cha...
144
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...
129
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we describe a demonstration called an “End-to-End” demonstration developed for the 2005 offering of our grid computing course that was taught across the State o...
115
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...
133
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
In recent years, data broadcasting becomes a promising technique to design a mobile information system with power conservation, high scalability and high bandwidth utilization. Ho...