Sciweavers

39 search results - page 6 / 8
» Modeling temporal combination selective neurons of the songb...
Sort
View
ECRTS
2008
IEEE
14 years 1 months ago
Period and Deadline Selection for Schedulability in Real-Time Systems
Task period adaptations are often used to alleviate temporal overload conditions in real-time systems. Existing frameworks assume that only task periods are adjustable and that ta...
Thidapat Chantem, Xiaofeng Wang, Michael D. Lemmon...
JSC
2010
100views more  JSC 2010»
13 years 2 months ago
An invariant-based approach to the verification of asynchronous parameterized networks
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
Igor V. Konnov, Vladimir A. Zakharov
WICOMM
2008
116views more  WICOMM 2008»
13 years 7 months ago
Arrayed MC-CDMA reception in space-time diffused multipath vector channels
Multi-Carrier Code Division Multiple Access (MC-CDMA) is a modulation scheme that combines the advantages of OFDM and CDMA to provide robustness against frequency selectivity in w...
Farrukh Rashid, Athanassios Manikas
MIR
2003
ACM
147views Multimedia» more  MIR 2003»
14 years 22 days ago
Model checking for detection of sport highlights
Automatic semantic annotation of sports video requires that the domain knowledge is properly included and exploited in the annotation process and that low and intermediate-level f...
Marco Bertini, Alberto Del Bimbo, Walter Nunziati
IKE
2004
13 years 8 months ago
Ontology based Semantic Metadata for Geoscience Data
In Geoscience domain, large amounts of data are accessible, however they vary in formats and are stored at various organizations leading to problems of data discovery, data intero...
Viral Parekh, Jin-Ping Gwo, Timothy W. Finin