Sciweavers

2261 search results - page 149 / 453
» The problem with scalability
Sort
View
CC
2004
Springer
122views System Software» more  CC 2004»
15 years 10 months ago
An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
Erin Parker, Siddhartha Chatterjee
ICRA
2005
IEEE
122views Robotics» more  ICRA 2005»
15 years 10 months ago
Information Driven Coordinated Air-Ground Proactive Sensing
— This paper concerns the problem of actively searching for and localizing ground features by a coordinated team of air and ground robotic sensor platforms. The approach taken bu...
Ben Grocholsky, Rahul Swaminathan, James F. Keller...
ICMCS
2005
IEEE
95views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Interactive, dynamic video browsing with the zoomslider interface
We present the ZoomSlider, a new interface for skimming and browsing video content in a flexible and interactive way. It circumvents common problems of existing video browsing app...
Wolfgang Hürst, Philipp Jarvers
FPGA
2009
ACM
201views FPGA» more  FPGA 2009»
15 years 11 months ago
A high-performance FPGA architecture for restricted boltzmann machines
Despite the popularity and success of neural networks in research, the number of resulting commercial or industrial applications have been limited. A primary cause of this lack of...
Daniel L. Ly, Paul Chow
CONEXT
2006
ACM
15 years 10 months ago
Reconciling zero-conf with efficiency in enterprises
A conventional enterprise or campus network comprises Ethernet-based IP subnets interconnected by routers. Although each subnet runs with minimal (or zero) configuration by virtue...
Chang Kim, Jennifer Rexford