322 search results - page 41 / 65 » Satisfiability Coding Lemma |
GVD
2004
13 years 10 months ago
2004
We investigate classes of SQL queries which are syntactically correct, but certainly not intended, no matter for which task the query was written. For instance, queries that are c...
ISTA
2001
13 years 10 months ago
2001
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...
CGF
2008
13 years 9 months ago
2008
We present a generic framework for compression of densely sampled 3D surfaces in order to satisfy the increasing demand for storing large amounts of 3D content. We decompose a giv...
TIT
2008
13 years 8 months ago
2008
In this paper, we focus on the general relay channel. We investigate the application of the estimate-and-forward (EAF) relaying scheme to different scenarios. Specifically, we stud...
TIT
2002
13 years 8 months ago
2002
Abstract--We adapt methods originally developed in information and coding theory to solve some testing problems. The efficiency of two-stage pool testing of items is characterized ...