6800 search results - page 674 / 1360 » Testing with Functions as Specifications |
195
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
213
click to vote
WSC
2001
15 years 8 months ago
2001
This paper presents an application distributed simulation to the evaluation of virtual enterprises. Each company or candidate can use a simulation of its facilities to determine i...
227
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Residue depth allows determining how deeply a given residue is buried, in contrast to the solvent accessibility that differentiates between buried and solvent-exposed ...
206
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
180
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...