2694 search results - page 362 / 539 » A Description Logic of Change |
170
click to vote
PRIMA
2000
Springer
15 years 10 months ago
2000
Springer
An increasing number of applications have been developed for supporting network communities. The authors have developed Community Organizer, which supports people in forming new ne...
165
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
161
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
186
click to vote
ICAISC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Multigame playing agents are programs capable of autonomously learning to play new, previously unknown games. In this paper, we concentrate on the General Game Playing Co...
159
click to vote
ACSW
2007
15 years 8 months ago
2007
Presented are two novel solutions addressing issues in the application of automated data analysis techniques in the medical domain. The primary aim of our work is to provide medic...