130
Voted
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
160
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while...
144
Voted
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
Different evaluation measures assess different characteristics of machine learning algorithms. The empirical evaluation of algorithms and classifiers is a matter of on-going debat...
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract. This paper addresses the issue of simplifying natural language texts in order to ease the task of accessing factual information contained in them. We define the notion of...
129
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
In ebXML the choreography of a business process should be modeled by UMM (UN/CEFACT Modeling Methodology) and is finally expressed in BPSS (Business Process Specification Schema). ...