1057 search results - page 163 / 212 » Testing from Formal Specifications, a Generic Approach |
135
click to vote
MABS
2005
Springer
15 years 8 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
142
click to vote
SIGMOD
2001
ACM
16 years 3 months ago
2001
ACM
Digital archives are dedicated to the long-term preservation of electronic information and have the mandate to enable sustained access despite rapid technology changes. Persistent...
154
click to vote
AMDO
2000
Springer
15 years 6 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...
139
click to vote
ICDM
2010
IEEE
15 years 1 months ago
2010
IEEE
Thousands of scientific conferences happen every year, and each involves a laborious scientific peer review process conducted by one or more busy scientists serving as Technical/Sc...
149
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...