6020 search results - page 468 / 1204 » A New Approach to Model Counting |
167
click to vote
CIKM
2005
Springer
16 years 15 days ago
2005
Springer
The quality of document content, which is an issue that is usually ignored for the traditional ad hoc retrieval task, is a critical issue for Web search. Web pages have a huge var...
174
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
Elmore delay has been widely used as an analytical estimate of interconnect delays in the performance-driven synthesis and layout of VLSI routing topologies. However,for typical R...
188
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
174
click to vote
BMVC
2002
15 years 9 months ago
2002
This paper describes a novel system for building seamless texture maps for a surface of arbitrary topology from real images of the object taken with a standard digital camera and ...
175
click to vote
CSSW
2007
15 years 8 months ago
2007
The proliferation of Geo-Information (GI) production in web-based collaboration environments such as mapping mashups built on top of mapping APIs such as GoogleMaps API poses new c...