1968 search results - page 89 / 394 » Symmetry in Decision Evaluation |
134
click to vote
IWEC
2008
15 years 7 months ago
2008
The ability to simulate a seaport environment, including illicit cargo and the sensors designed to detect such cargo, allows the evaluation of alternative detection methods in orde...
258
click to vote
ICDE
2002
IEEE
16 years 7 months ago
2002
IEEE
Modern relational database systems are beginning to support ad hoc queries on mining models. In this paper, we explore novel techniques for optimizing queries that apply mining mo...
159
click to vote
PODS
2002
ACM
16 years 6 months ago
2002
ACM
Decision support system users typically submit batches of range-sum queries simultaneously rather than issuing individual, unrelated queries. We propose a wavelet based technique ...
158
click to vote
ISMVL
2009
IEEE
16 years 27 days ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
168
click to vote
OTM
2009
Springer
16 years 24 days ago
2009
Springer
Communication of large data volumes is a core functionality of distributed systems middleware, namely, for interconnecting components, for distributed computation and for fault tol...