3724 search results - page 268 / 745 » Timed regular expressions |
135
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a novel algorithm for temporal tracking of the fibrillatory frequency for Atrial Fibrillation (AF) ECG. Both Atrial activity extraction and fibrillatory frequency tra...
205
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
We describe two novel constructs for programming parallel machines with multi-level memory hierarchies: call-up, which allows a child task to invoke computation on its parent, and...
141
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
168
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
190
click to vote
DLOG
1998
15 years 7 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...