Sciweavers

494 search results - page 29 / 99
» A tool suite to prototype pervasive computing applications
Sort
View
DAC
2001
ACM
14 years 8 months ago
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav A...
CVPR
2006
IEEE
14 years 9 months ago
A Conic Section Classifier and its Application to Image Datasets
Many problems in computer vision involving recognition and/or classification can be posed in the general framework of supervised learning. There is however one aspect of image dat...
Arunava Banerjee, Santhosh Kodipaka, Baba C. Vemur...
FCCM
2008
IEEE
165views VLSI» more  FCCM 2008»
14 years 1 months ago
Performance Analysis with High-Level Languages for High-Performance Reconfigurable Computing
High-Level Languages (HLLs) for FPGAs (FieldProgrammable Gate Arrays) facilitate the use of reconfigurable computing resources for application developers by using familiar, higher...
John Curreri, Seth Koehler, Brian Holland, Alan D....
COORDINATION
2006
Springer
13 years 9 months ago
Enabling Ubiquitous Coordination Using Application Sessions
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
Christine Julien, Drew Stovall
SIGCOMM
2003
ACM
14 years 22 days ago
A knowledge plane for the internet
We propose a new objective for network research: to build a fundamentally different sort of network that can assemble itself given high level instructions, reassemble itself as re...
David D. Clark, Craig Partridge, J. Christopher Ra...