4266 search results - page 445 / 854 » The container loading problem |
172
click to vote
ISQED
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
164
click to vote
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
Genome sequencing opened a new era in genetics allowing the study of genomes at the nucleotide level. However, the chosen method of sequencing produced large numbers of nucleotide...
168
click to vote
ACL
2008
15 years 7 months ago
2008
The traditional mention-pair model for coreference resolution cannot capture information beyond mention pairs for both learning and testing. To deal with this problem, we present ...
138
click to vote
AAAI
2010
15 years 7 months ago
2010
We consider here the problem of building a never-ending language learner; that is, an intelligent computer agent that runs forever and that each day must (1) extract, or read, inf...
161
click to vote
CCCG
2010
15 years 7 months ago
2010
By a polygonization of a finite point set S in the plane we understand a simple polygon having S as the set of its vertices. Let B and R be sets of blue and red points, respective...