Sciweavers

12289 search results - page 908 / 2458
» computing 2006
Sort
View
FOCS
2006
IEEE
16 years 1 months ago
Fast Algorithms for Logconcave Functions: Sampling, Rounding, Integration and Optimization
We prove that the hit-and-run random walk is rapidly mixing for an arbitrary logconcave distribution starting from any point in the support. This extends the work of [26], where t...
László Lovász, Santosh Vempal...
ICPR
2006
IEEE
16 years 1 months ago
An Improved Semi-Supervised Support Vector Machine Based Translation Algorithm for BCI Systems
In this study, we propose an improved semi-supervised support vector machine (SVM) based translation algorithm for brain-computer interface (BCI) systems, aiming at reducing the t...
Jianzhao Qin, Yuanqing Li
ACMSE
2006
ACM
16 years 1 months ago
Inductive bases and their application to searches for minimal unary NFAs
Classic results in the theory of regular languages show that the problem of converting an NFA (nondeterministic finite automaton) into a minimal equivalent NFA is NP-hard, even f...
Geoffrey Smith
ANCS
2006
ACM
16 years 1 months ago
A proposed architecture for the GENI backbone platform
The GENI Project (Global Environment for Network Innovation) is a major NSF-sponsored initiative that seeks to create a national research facility to enable experimental deployment...
Jonathan S. Turner
DAC
2006
ACM
16 years 1 months ago
SystemC transaction level models and RTL verification
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
Stuart Swan