Sciweavers

1632 search results - page 270 / 327
» Sublinear Time Algorithms for Metric Space Problems
Sort
View
133
Voted
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
16 years 13 days ago
Symbolic pointer analysis
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
Jianwen Zhu
148
Voted
AMC
2006
104views more  AMC 2006»
15 years 3 months ago
Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical ta
-- Tien D. Kieu, in 10 papers posted to the quant-ph section of the xxx.lanl.gov preprint archive [some of which were also published in printed journals such as Proc. Royal Soc. A ...
Warren D. Smith
112
Voted
ESA
2004
Springer
91views Algorithms» more  ESA 2004»
15 years 9 months ago
Maximizing Throughput in Multi-queue Switches
We study a basic problem in Multi-Queue switches. A switch connects m input ports to a single output port. Each input port is equipped with an incoming FIFO queue with bounded cap...
Yossi Azar, Arik Litichevskey
149
Voted
KDD
2008
ACM
140views Data Mining» more  KDD 2008»
16 years 4 months ago
On updates that constrain the features' connections during learning
In many multiclass learning scenarios, the number of classes is relatively large (thousands,...), or the space and time efficiency of the learning system can be crucial. We invest...
Omid Madani, Jian Huang 0002
ICCAD
2005
IEEE
81views Hardware» more  ICCAD 2005»
16 years 13 days ago
Kauffman networks: analysis and applications
Abstract— A Kauffman network is an abstract model of gene regulatory networks. Each gene is represented by a vertex. An edge from one vertex to another implies that the former ge...
Elena Dubrova, Maxim Teslenko, Andrés Marti...