4150 search results - page 371 / 830 » A Practical Approach to Model Extension |
157
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
176
click to vote
ICVGIP
2004
15 years 7 months ago
2004
Shape from Shading (SFS) is one of the most extensively studied problems in Computer Vision. However, most of the approaches only deal with Lambertian or other specific shading mo...
164
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
As the social interaction of Internet users increases, so does the need to effectively rank social media. We study the challenges of personalized ranking of blog posts. Web search...
265
click to vote
PRICAI
2010
Springer
15 years 4 months ago
2010
Springer
Manifold clustering, which regards clusters as groups of points around compact manifolds, has been realized as a promising generalization of traditional clustering. A number of lin...
187
click to vote
ISPD
1999
ACM
15 years 10 months ago
1999
ACM
In this paper, we consider delay optimization in multilayer detailed routing. Given a detailed routing by some detailed router, we iteratively improve the delays of critical nets ...