4255 search results - page 727 / 851 » Cover |
140
click to vote
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
Video-on-demand over IP (VOD) is one of the best-known examples of “next-generation” Internet applications cited as a goal by networking and multimedia researchers. Without em...
174
click to vote
ALT
2006
Springer
16 years 2 months ago
2006
Springer
This paper presents a novel paradigm for learning languages that consists of mapping strings to an appropriate high-dimensional feature space and learning a separating hyperplane i...
137
click to vote
ICCAD
2003
IEEE
16 years 2 months ago
2003
IEEE
Ultra-deep submicron manufacturability impacts physical design (PD) through complex layout rules and large guardbands for process variability; this creates new requirements for ne...
191
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
137
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
We present a two-level Boolean minimization tool (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are ge...