Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
Abstract. The impact of clause and intraclausal coordination detection to dependency parsing of Slovene is examined. New methods based on machine learning and heuristic rules are p...
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
This paper addresses the problem of mapping business contract conditions onto the messages and rules that represent service interactions in a collaborative business process. We de...
Zoran Milosevic, Maria E. Orlowska, Shazia Wasim S...
Symbolic computation of NURBS plays an important role in many areas of NURBS-based geometric computation and design. However, any nontrivial symbolic computation, especially when ...
Xianming Chen, Richard F. Riesenfeld, Elaine Cohen