7049 search results - page 215 / 1410 » Data Abstraction for CSP-OZ |
163
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
173
click to vote
ISBRA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. DNA copy number is the number of replicates of a contiguous segment of DNA on the genome. Copy number alteration (CNA) is a genetic abnormality in which the number of the...
180
click to vote
ISEUD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Inputs to web forms often contain typos or other errors. However, existing web form design tools require end-user developers to write regular expressions (“regexps”) ...
151
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
166
click to vote
PRIB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. With widespread use of microarray technology as a potential diagnostics tool, the comparison of results obtained from the use of different platforms is of interest. When...