Sciweavers

2261 search results - page 149 / 453
» The problem with scalability
Sort
View
CC
2004
Springer
122views System Software» more  CC 2004»
15 years 12 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»
16 years 4 days 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»
16 years 4 days 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»
16 years 1 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
16 years 16 days 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