9110 search results - page 141 / 1822 » Formally-Based Design Evaluation |
ESEM
2007
ACM
15 years 2 months ago
2007
ACM
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
Communication appliances, intended for home settings, require intuitive forms of interaction. Computer vision offers a potential solution, but is not yet sufficiently accurate.As ...
GIR
2006
ACM
15 years 4 months ago
2006
ACM
Abstract Categories and Subject Descriptors: H.3.3 Information Search and Retrieval: Clustering and Search Process. General Terms: Algorithms, Design, Human Factors. Keywords. Epis...
IJWIS
2008
14 years 10 months ago
2008
: Purpose -- Efficient processing of XML queries is critical for XML data management and related applications. Previously proposed techniques are unsatisfactory. This article prese...
BMCBI
2004
14 years 10 months ago
2004
Background: RNA secondary structure prediction methods based on probabilistic modeling can be developed using stochastic context-free grammars (SCFGs). Such methods can readily co...