CAV
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
AISC
2004
Springer
13 years 10 months ago
2004
Springer
The equality logic with uninterpreted functions (EUF) has been proposed for processor verification. A procedure for proving satisfiability of formulas in this logic is introduced...
IUI
2004
ACM
13 years 10 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
UM
2005
Springer
13 years 10 months ago
2005
Springer
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...
CICLING
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This article describes an automatic evaluation procedure for NLP system robustness under the strain of noisy and ill-formed input. The procedure requires no manual work o...
ICCV
2005
IEEE
13 years 10 months ago
2005
IEEE
We present a quality assessment procedure for correspondence estimation based on geometric coherence rather than ground truth. The procedure can be used for performance evaluation...
PLDI
2006
ACM
13 years 10 months ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
ICALT
2006
IEEE
13 years 10 months ago
2006
IEEE
This document describes the procedure followed to prepare an existing framework for e-learning, to make the contents, produced during many years, exportable to a no proprietary st...
AIIA
2007
Springer
13 years 10 months ago
2007
Springer
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
CEC
2007
IEEE
13 years 11 months ago
2007
IEEE
— Despite having a wide-spread applicability of evolutionary optimization procedures over the past few decades, EA researchers still face criticism about the theoretical optimali...