1446 search results - page 198 / 290 » Testing for Concise Representations |
CHI
2004
ACM
14 years 10 months ago
2004
ACM
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
Publication
Keyframe extraction constitutes a fundamental unit in many video retrieval-related applications. In the emerging research field of content-based video copy detection, efficient rep...