TABLEAUX
1998
Springer
13 years 12 months ago
1998
Springer
TABLEAUX
1998
Springer
13 years 12 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
TABLEAUX
1998
Springer
13 years 12 months ago
1998
Springer
This paper is concerned with various schemes for enhancing the performance of modal tableau procedures. It discusses techniques and strategies for dealing with the nondeterminism i...
TABLEAUX
1998
Springer
13 years 12 months ago
1998
Springer
TABLEAUX
1998
Springer
13 years 12 months ago
1998
Springer
The FaCT (Fact and Concept Training) System provides a general platform for delivering practice in the form of discrete flashcard-like drills. The system optimizes practice schedu...
ICTAI
1997
IEEE
13 years 12 months ago
1997
IEEE
Many black box optimization algorithms have sufcient exibility to allow them to adapt to the varying circumstances they encounter. These capabilities are of two primary sorts: 1) ...
ICTAI
1997
IEEE
13 years 12 months ago
1997
IEEE
Application of data mining techniques to the World Wide Web, referred to as Web mining, has been the focus of several recent research projects and papers. However, there is no est...
SEAAI
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...
SEAAI
1998
Springer
13 years 12 months ago
1998
Springer
In a multidisciplinary design environment, such as the architecture, engineering and construction (AEC) domain, the various designers will have their own views, concepts and repre...
SEAAI
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. This paper introduces conceptual designing within an F-B-S framework. It then goes on to describe a number of models of designing before introducing the notions of situat...