11949 search results - page 323 / 2390 » Some results on (a:b)-choosability |
104
Voted
VLSID
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper targets at reducing the crosstalk noise closure time by filtering the set of false violations. We propose two approaches to reduce the pessimism in the crosstalk noise ...
CHI
2002
ACM
16 years 2 months ago
2002
ACM
Context-aware artifacts can be seen as an important class of socially adept technologies. In this paper, we focus on the fact that disregarding trivial notions of context, context...
113
Voted
CHI
2002
ACM
16 years 2 months ago
2002
ACM
Many applications have cluttered dialogs that require users to make complicated settings. Some settings even determine the availability and state of other settings, creating inter...
105
click to vote
RECOMB
2008
Springer
16 years 2 months ago
2008
Springer
The protein inference problem represents a major challenge in shotgun proteomics. Here we describe a novel Bayesian approach to address this challenge that incorporates the predict...
136
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...