3765 search results - page 393 / 753 » Qualitative Action Systems |
199
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
212
click to vote
ISAMI
2010
15 years 2 months ago
2010
Abstract. In the present paper we describe IntelliDomo's learning model, an ontology-based expert system able to control a home automation system and to learn user's beha...
186
click to vote
ECIS
2011
14 years 7 months ago
2011
In this paper, we draw on evidence from a case study to explore how to enable organizational creativity within a centralised information system. We argue that, even if the project...
202
click to vote
FLAIRS
2006
15 years 9 months ago
2006
RUPART1 is a hybrid robot control system for navigating a real-world, academic building. Hybrid robot control systems provide robust low-level navigation together with strategic p...
327
click to vote
ICDE
2006
IEEE
16 years 9 months ago
2006
IEEE
In this paper, we discuss the inverse classification problem, in which we desire to define the features of an incomplete record in such a way that will result in a desired class l...