296 search results - page 22 / 60 » Using SAT-based techniques in power estimation |
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Direction estimation inside buildings is a difficult and challenging task due to severe multipath signal propagation. Numerous algorithms and techniques exist that provide hig...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
The increasing pervasiveness of the Internet has dramatically changed the way that consumers shop for goods. Consumergenerated product reviews have become a valuable source of inf...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper tackles the problem of accelerating The rest of this paper is organised as follows: section II motion estimation for video processing. A novel architecture details relat...
TREC
2008
13 years 9 months ago
2008
This paper describes our participation in the TREC Legal competition in 2008. Our first set of experiments involved the use of Latent Semantic Indexing (LSI) with a small number of...
FPL
2009
Springer
14 years 14 days ago
2009
Springer
This paper presents a methodology for estimating and optimising FPGA routing fabrics using high-level modelling and convex optimisation techniques. Experimental methods for explor...