279 search results - page 51 / 56 » Timed Temporal Logics for Abstracting Transient States |
IJCAI
2003
14 years 11 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Anatomical and functional information of cardiac vasculature is a key component of future developments in the field of interventional cardiology. With the technology of C...
100
click to vote
CLEIEJ
2007
14 years 10 months ago
2007
Abstract. This paper present a new approach for the analysis of gene expression, by extracting a Markov Chain from trained Recurrent Neural Networks (RNNs). A lot of microarray dat...
ECAI
2008
Springer
15 years 3 days ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
LCN
2007
IEEE
15 years 4 months ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...