3047 search results - page 300 / 610 » A Temporal Consensus Model |
203
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
183
click to vote
PST
2008
15 years 8 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
168
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Detecting the time of occurrence of an acoustic event (for instance, a cheer) embedded in a longer soundtrack is useful and important for applications such as search and retrieval...
177
click to vote
IJON
2008
15 years 6 months ago
2008
Real-world data sets such as recordings from functional magnetic resonance imaging often possess both spatial and temporal structure. Here, we propose an algorithm including such ...
153
click to vote
JOCN
2006
15 years 6 months ago
2006
In an event-related fMRI study, we investigated the neurocognitive processes underlying deductive reasoning. We specifically focused on three temporally separable phases: (1) the ...