2218 search results - page 131 / 444 » Testing Expressibility Is Hard |
CORR
2006
Springer
13 years 9 months ago
2006
Springer
XPath is a simple language for navigating an XML-tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various frag...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
Gene expression data provide information on the location where certain genes are active; in order for this to be useful, such a location must be registered to an anatomical atlas....
ECCB
2008
IEEE
14 years 3 months ago
2008
IEEE
Living cells are the product of gene expression programs that involve the regulated transcription of thousands of genes. The elucidation of transcriptional regulatory networks in ...
AIMSA
2008
Springer
14 years 3 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...