Sciweavers

13336 search results - page 2372 / 2668
» Computer Vision: Algorithms and Applications
Sort
View
140
Voted
ATAL
2009
Springer
15 years 9 months ago
Adding incentives to file-sharing systems
Modern peer-to-peer file sharing systems rely heavily on the willingness of users to distribute files to others. A selfish user can choose to download a file and consume resou...
Aviv Zohar, Jeffrey S. Rosenschein
144
Voted
HUC
2009
Springer
15 years 9 months ago
A Survey on Localization for Mobile Wireless Sensor Networks
Over the past decade we have witnessed the evolution of wireless sensor networks, with advancements in hardware design, communication protocols, resource efficiency, and other aspe...
Isaac Amundson, Xenofon D. Koutsoukos
150
Voted
CAV
2001
Springer
119views Hardware» more  CAV 2001»
15 years 9 months ago
Certifying Model Checkers
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
Kedar S. Namjoshi
146
Voted
CONTEXT
2001
Springer
15 years 9 months ago
A Connectionist-Symbolic Approach to Modeling Agent Behavior: Neural Networks Grouped by Contexts
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
Amy E. Henninger, Avelino J. Gonzalez, Michael Geo...
SIGGRAPH
2010
ACM
15 years 9 months ago
Non-local scan consolidation for 3D urban scenes
Recent advances in scanning technologies, in particular devices that extract depth through active sensing, allow fast scanning of urban scenes. Such rapid acquisition incurs imper...
Qian Zheng, Andrei Sharf, Guowei Wan, Yangyan Li, ...
« Prev « First page 2372 / 2668 Last » Next »