1775 search results - page 32 / 355 » Antichains on Three Levels |
101
click to vote
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
75
Voted
MVA
2007
14 years 11 months ago
2007
In this paper, we propose a new hybrid model for active contour image segmentation, which is able to segment non-uniform noisy images efficiently. The model is a combination betwe...
USENIX
2001
14 years 11 months ago
2001
A conventional file system provides the user with generic structure and semantics for accessing files. The default scheme is sufficient for many applications. However, many applic...
MASCOTS
2003
14 years 11 months ago
2003
The Web proxy cache placement problem is often formulated as a classical optimization problem: place N proxies within an internetwork so as to minimize the average user response t...
COLING
2010
14 years 4 months ago
2010
This paper presents a fuzzy set theory based approach to Chinese sentence-level sentiment classification. Compared with traditional topic-based text classification techniques, the...