Search Sciweavers | Sciweavers

620 search results - page 2 / 124

» Verification and Validation and Artificial Intelligence

116

click to vote

FLAIRS
1998

75views Artificial Intelligence» more FLAIRS 1998»

Characterizing Sufficient Expertise for Learning Systems Validation

15 years 7 months ago

Download www.aaai.org

Gunter Grieser, Klaus P. Jantke, Steffen Lange

claim paper

Read More »

127

click to vote

FLAIRS
2000

108views Artificial Intelligence» more FLAIRS 2000»

Validation of Cryptographic Protocols by Efficient Automated Testing

15 years 7 months ago

Download www.aaai.org

Sigrid Gürgens, René Peralta

claim paper

Read More »

107

click to vote

FLAIRS
2000

91views Artificial Intelligence» more FLAIRS 2000»

Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge

15 years 7 months ago

Download www.aaai.org

Gregory Johnson Jr., Eugene Santos Jr.

claim paper

Read More »

190

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 10 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

130

Voted

FLAIRS
2007

95views Artificial Intelligence» more FLAIRS 2007»

Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers