959 search results - page 31 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
CORR
2004
Springer
13 years 7 months ago
2004
Springer
In this paper, we describe the Rich Representation Language (RRL) which is used in the NECA system. The NECA system generates interactions between two or more animated characters....
LPAR
1999
Springer
14 years 8 days ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
RP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...