8825 search results - page 316 / 1765 » All for one or one for all |
127
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
105
click to vote
SLIP
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, a comprehensive and fast method is presented for the timing analysis of process variations on single-walled carbon nanotube (SWCNT) bundles. Unlike previous works t...
101
click to vote
APSCC
2008
IEEE
15 years 8 months ago
2008
IEEE
This study is a creative and initial work focused on designing an intelligent living-space with automatic control system to control all home appliances in the living space. First ...
85
Voted
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Periodicity is at the core of the recognition of many actions. This paper takes the following steps to detect and measure periodicity. 1) We establish a conceptual framework of cl...