Sciweavers

1177 search results - page 93 / 236
» System-in-Package Testing: Problems and Solutions
Sort
View
113
Voted
DBSEC
2010
129views Database» more  DBSEC 2010»
15 years 3 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
140
Voted
GVD
2004
111views Database» more  GVD 2004»
15 years 3 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
98
Voted
IJCAI
2003
15 years 3 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»
15 years 3 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
126
Voted
UAI
2003
15 years 3 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