3028 search results - page 441 / 606 » Integrating Temporal Logics |
ICPR
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
IFIP3
1998
13 years 11 months ago
1998
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
IJON
2000
13 years 10 months ago
2000
Harmonic analysis is applied to analyze the transmission of bandlimited signals via spike trains generated by a pair of leaky integrate-and-fire (LIF) model neurons organized in a...
TCSV
2002
13 years 9 months ago
2002
Many images--especially those used for page design on web pages--as well as videos contain visible text. If these text occurrences could be detected, segmented, and recognized auto...
JOCN
2011
13 years 5 months ago
2011
orrelates of Abstract Verb Processing Javier Rodríguez-Ferreiro1 , Silvia P. Gennari2 , Robert Davies3 , and Fernando Cuetos4 ■ The present study investigated the neural correl...