Sciweavers

2019 search results - page 113 / 404
» Linkage Information Processing In Distribution Estimation Al...
Sort
View
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 2 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
DSRT
2006
IEEE
15 years 4 months ago
Adaptive Interest Management via Push-Pull Algorithms
Interest Management in large-scale distributed applications aims to reduce the amount of extraneous broadcast communication between nodes in the system with the aim of increasing ...
Rob Minson, Georgios K. Theodoropoulos
DMSN
2004
ACM
15 years 3 months ago
A framework for spatio-temporal query processing over wireless sensor networks
Wireless sensor networks consist of nodes with the ability to measure, store, and process data, as well as to communicate wirelessly with nodes located in their wireless range. Us...
Alexandru Coman, Mario A. Nascimento, Jörg Sa...
CIKM
2008
Springer
14 years 12 months ago
A sparse gaussian processes classification framework for fast tag suggestions
Tagged data is rapidly becoming more available on the World Wide Web. Web sites which populate tagging services offer a good way for Internet users to share their knowledge. An in...
Yang Song, Lu Zhang 0007, C. Lee Giles
FPGA
1997
ACM
149views FPGA» more  FPGA 1997»
15 years 2 months ago
Signal Processing at 250 MHz Using High-Performance FPGA's
This paper describes an application in high-performance signal processing using reconfigurable computing engines: a 250 MHz cross-correlator for radio astronomy. Experimental resu...
Brian Von Herzen