Sciweavers

2598 search results - page 310 / 520
» The Abstract Immune System Algorithm
Sort
View
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 10 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
ECWEB
2010
Springer
219views ECommerce» more  ECWEB 2010»
15 years 7 months ago
Semantic Tag Cloud Generation via DBpedia
Abstract. Many current recommender systems exploit textual annotations (tags) provided by users to retrieve and suggest online contents. The text-based recommendation provided by t...
Roberto Mirizzi, Azzurra Ragone, Tommaso Di Noia, ...
JCM
2008
57views more  JCM 2008»
15 years 6 months ago
An RF-ID Reader Using SAW Dispersive Delay Lines For Wideband Synchronisation
Abstract-- RF-ID systems are susceptible to frequency interference from other communciation systems particularly when the RF-ID tags transmit on a fixed carrier frequency. The RF-I...
Thomas M. McCoy, Paul V. Brennan, Richard J. Bullo...
TROB
2008
86views more  TROB 2008»
15 years 6 months ago
Fusing Monocular Information in Multicamera SLAM
Abstract--This paper explores the possibilities of using monocular simultaneous localization and mapping (SLAM) algorithms in systems with more than one camera. The idea is to comb...
Joan Solà, André Monin, Michel Devy,...
TSP
2008
147views more  TSP 2008»
15 years 6 months ago
Low-Complexity MIMO Multiuser Receiver: A Joint Antenna Detection Scheme for Time-Varying Channels
Abstract--This paper deals with the uplink of a wireless multiple-input multiple-output (MIMO) communication system based on multicarrier (MC) code division multiple access (CDMA)....
Charlotte Dumard, Thomas Zemen