2586 search results - page 414 / 518 » Automatic Abstraction for Congruences |
PAKM
2004
15 years 1 months ago
2004
Abstract. The aim of our work is to develop a flexible and powerful Knowledge Acquisition framework that allows users to rapidly develop Natural Language Processing systems, includ...
IJCAI
2003
15 years 1 months ago
2003
Abstract. Web service technology is an Internet-based distributed computing paradigm to address interoperability in heterogeneous distributed systems. In this paper, we present a p...
IM
2003
15 years 1 months ago
2003
Abstract: Firewalls are core elements in network security. However, managing firewall rules, especially for enterprize networks, has become complex and error-prone. Firewall filt...
131
click to vote
WOA
2004
15 years 1 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
116
click to vote
WSCG
2004
15 years 1 months ago
2004
Accurately and automatically conveying the structure of a volume model is a problem not fully solved by existing volume rendering approaches. Physics-based volume rendering approa...