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 1 months 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 23 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...