Sciweavers

1177 search results - page 93 / 236
» System-in-Package Testing: Problems and Solutions
Sort
View
DBSEC
2010
129views Database» more  DBSEC 2010»
14 years 11 months ago
Secure Outsourcing of DNA Searching via Finite Automata
This work treats the problem of error-resilient DNA searching via oblivious evaluation of finite automata, formulated as follows: a client has a DNA sequence, and a service provid...
Marina Blanton, Mehrdad Aliasgari
GVD
2004
111views Database» more  GVD 2004»
14 years 11 months ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg
IJCAI
2003
14 years 11 months ago
Point-based value iteration: An anytime algorithm for POMDPs
This paper introduces the Point-Based Value Iteration (PBVI) algorithm for POMDP planning. PBVI approximates an exact value iteration solution by selecting a small set of represen...
Joelle Pineau, Geoffrey J. Gordon, Sebastian Thrun
LEGE
2003
130views Education» more  LEGE 2003»
14 years 11 months ago
A Grid of Remote Laboratory for Teaching Electronics
Testing theories through practice is an important approach to teaching, especially in scientific and technical curricula. Often, lack of resources and logistics problems makes pra...
Andrea Bagnasco, Anna Marina Scapolla
UAI
2003
14 years 11 months ago
Optimal Limited Contingency Planning
For a given problem, the optimal Markov policy over a finite horizon is a conditional plan containing a potentially large number of branches. However, there are applications wher...
Nicolas Meuleau, David E. Smith