2218 search results - page 333 / 444 » Testing Expressibility Is Hard |
SDM
2009
SIAM
14 years 6 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
ACHI
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
ACSC
2009
IEEE
14 years 4 months ago
2009
IEEE
The Python programming language is typical among dynamic languages in that programs written in it are not susceptible to static analysis. This makes efficient static program compi...
BIBM
2009
IEEE
14 years 4 months ago
2009
IEEE
A major challenge in microarray classification and biomarker discovery is dealing with small-sample high-dimensional data where the number of genes used as features is typically o...
SAC
2009
ACM
14 years 4 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...