Sciweavers

2774 search results - page 159 / 555
» Exploiting Deep Structure
Sort
View
CORR
2010
Springer
165views Education» more  CORR 2010»
15 years 6 months ago
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
Rajeev Goré, Linda Postniece, Alwen Tiu
DCC
2007
IEEE
16 years 6 months ago
Joint Optimization of Distributed Broadcast Quantization Systems for Classification
We develop a simulated annealing technique to jointly optimize a distributed quantization structure meant to maximize the asymptotic error exponent of a downstream classifier or d...
Michael A. Lexa, Don H. Johnson
ADBIS
2007
Springer
207views Database» more  ADBIS 2007»
16 years 20 days ago
Applying User Profile Ontology for Mining Web Site Adaptation Recommendations
The Internet consists of web sites that employ different kinds of structures as the backbone of their build-up. However, users are browsing the web according to its content, regard...
Tarmo Robal, Ahto Kalja
ASPDAC
2006
ACM
97views Hardware» more  ASPDAC 2006»
16 years 14 days ago
SASIMI: sparsity-aware simulation of interconnect-dominated circuits with non-linear devices
We present a technique for the fast and accurate simulation of largescale VLSI interconnects with nonlinear devices, called SASIMI. The numerical efficiency of this technique is ...
Jitesh Jain, Stephen Cauley, Cheng-Kok Koh, Venkat...
FPL
2001
Springer
115views Hardware» more  FPL 2001»
15 years 11 months ago
Placing, Routing, and Editing Virtual FPGAs
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
Loïc Lagadec, Dominique Lavenier, Erwan Fabia...