2218 search results - page 170 / 444 » Testing Expressibility Is Hard |
206
Voted
ICDE
2006
IEEE
16 years 2 months ago
2006
IEEE
Relational division, also known as small divide, is a derived operator of the relational algebra that realizes a many-to-one set containment test, where a set is represented as a ...
CAD
2008
Springer
15 years 27 days ago
2008
Springer
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
97
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
95
Voted
ENTCS
2008
15 years 26 days ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
111
Voted
DAM
2007
15 years 23 days ago
2007
In addition to their prevalent use for analyzing gene expression, DNA microarrays are an efficient tool for biological, medical, and industrial applications because of their abil...