2056 search results - page 291 / 412 » Detecting Errors in Spreadsheets |
143
click to vote
LOBJET
2000
15 years 4 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
143
click to vote
ACTAC
1999
15 years 4 months ago
1999
Conformance testing is based on a test suite. Standardization committees release standard test suites, which consist of hundreds of test cases. The main problem of conformance tes...
141
click to vote
MVA
2002
15 years 4 months ago
2002
For global motion estimation in model-based coding, this paper proposes a constrained spatio-temporal gradient method using contour information. To overcome the local minimum prob...
200
click to vote
JUCS
2010
15 years 3 months ago
2010
: The task of reliable detection and tracking of multiple objects becomes highly complex for crowded scenarios. In this paper, a robust framework is presented for multi-Human track...
182
Voted
TOPLAS
2010
15 years 2 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...