78 search results - page 10 / 16 » Formalizing Reasoning About Change: A Temporal Diagnosis App... |
102
click to vote
IADIS
2004
15 years 1 months ago
2004
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...
102
click to vote
ASUNAM
2011
IEEE
13 years 11 months ago
2011
IEEE
—In this paper, we study the problem of evolutionary clustering of multi-typed objects in a heterogeneous bibliographic network. The traditional methods of homogeneous clustering...
114
click to vote
FUIN
2006
14 years 11 months ago
2006
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
SIGSOFT
2005
ACM
16 years 11 days ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...