1856 search results - page 248 / 372 » Formal Dialectic Specification |
151
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Personalization and adaptation of multi-media messages are well known and well studied problems. Ideally, each message should reflect its recipient's interests, device capabi...
133
click to vote
CSREAEEE
2006
15 years 5 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
117
Voted
IASTEDSE
2004
15 years 5 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
139
click to vote
ECSCW
2001
15 years 5 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
132
click to vote
EUSFLAT
2001
15 years 5 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...