3250 search results - page 505 / 650 » An Algorithm to Solve a Linear Program |
186
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Modern circuits become harder to route with the ever decreasing design features. Previous routability-driven placement techniques are usually tightly coupled with the underlying p...
208
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
195
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
176
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In object-based video, the encoding of the video data is decoupled into the encoding of shape, motion and texture information, which enables certain functionalities like content-b...
150
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Similarity measures in many real applications generate indefinite similarity matrices. In this paper, we consider the problem of classification based on such indefinite similariti...