2381 search results - page 259 / 477 » On Ordering Descriptions in a Description Logic |
175
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
MPEG-7 camera extends the capabilities of conventional cameras by analyzing its scene in order to generate a contentbased description according to the recently approved MPEG7 stan...
137
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
The dater equalities constitute a well-known tool which allows the description of Timed Event Graphs in the field of (max, +) algebra. This paper gives an equivalent model in the...
169
click to vote
SMC
2007
IEEE
16 years 27 days ago
2007
IEEE
— This paper addresses high-level robot planning issues for an interactive cognitive robot that has to act in presence or in collaboration with a human partner. We describe a tas...
162
click to vote
FORMATS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
253
click to vote
ILC
2007
Springer
16 years 23 days ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...