1919 search results - page 220 / 384 » Recent Extensions to Traviando |
184
click to vote
EPIA
2007
Springer
16 years 23 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
163
click to vote
ESOP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
125
click to vote
ESWS
2007
Springer
16 years 23 days ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
198
click to vote
ICMI
2007
Springer
16 years 23 days ago
2007
Springer
Automatic detection of communication errors in conversational systems has been explored extensively in the speech community. However, most previous studies have used only acoustic...
185
click to vote
ILP
2007
Springer
16 years 23 days ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...