Sciweavers

3047 search results - page 451 / 610
» A Secure Distributed Search System
Sort
View
TASE
2008
IEEE
14 years 11 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
ICCV
2009
IEEE
1176views Computer Vision» more  ICCV 2009»
16 years 4 months ago
Building Rome in a Day
We present a system that can match and reconstruct 3D scenes from extremely large collections of photographs such as those found by searching for a given city (e.g., Rome) on In...
Sameer Agarwal, Noah Snavely, Ian Simon, Steven M....
PERCOM
2009
ACM
16 years 7 days ago
What's up: P2P Spontaneous Social Networking
This demo presents some features of our platform What's up for P2P social networking. The main idea of What's Up is to provide spontaneous social networks in the events s...
Anh-Minh Ngyuen, Mehdi Mani, Noël Crespi
ICMCS
2008
IEEE
143views Multimedia» more  ICMCS 2008»
15 years 6 months ago
Music fingerprint extraction for classical music cover song identification
An algorithm for extracting music fingerprints directly from an audio signal is proposed in this paper. The proposed music fingerprint aims to encapsulate various aspects of mus...
Samuel Kim, Erdem Unal, Shrikanth Narayanan
SGAI
2004
Springer
15 years 5 months ago
Resource Allocation in Communication Networks Using Market-Based Agents
This work describes a system that allocates end-to-end bandwidth, in a switched meshed communications network. The solution makes use of market-based software agents that compete ...
Nadim Haque, Nicholas R. Jennings, Luc Moreau