3224 search results - page 312 / 645 » Abstract Error Projection |
214
click to vote
ISAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
183
click to vote
LACL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
162
click to vote
MKM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
150
click to vote
MLMI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We aim to create a model of emotional reactive virtual humans. This model will help to define realistic behavior for virtual characters based on emotions and events in t...
174
click to vote
RELMICS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...