3005 search results - page 232 / 601 » Logical Information Systems: from Taxonomies to Logics |
185
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
184
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
There are principal differences between the relational model and XML's tree model. This causes problems in all cases where information from these two worlds has to be brought...
188
click to vote
RSEISP
2007
Springer
16 years 22 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
234
click to vote
SOCROB
2010
15 years 5 months ago
2010
Abstract. This paper presents a system for human-robot communication situated in an ambient assisted living scenario, where the robot performs an orderand-serve-procedure. The inte...
160
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...