7921 search results - page 373 / 1585 » LSH-preserving functions and their applications |
193
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
144
click to vote
CCGRID
2003
IEEE
16 years 2 days ago
2003
IEEE
Application-level multicast (ALM) is being increasingly recognized as a solution to support multipoint applications without the need for a network layer multicast protocol. Though...
174
Voted
NCA
2005
IEEE
16 years 11 days ago
2005
IEEE
Recent hardware advances are creating multi-core systems with heterogeneous functionality. This paper explores how applications and middleware can utilize systems comprised of pro...
256
click to vote
GRAPHICSINTERFACE
2011
14 years 10 months ago
2011
In traditional graphical user interfaces, the majority of UI elements are hidden to the user in the default view. Application designers and users desire more space for their appli...
142
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Content understanding is a crucial issue for website adaptation. In this paper we present a Function-based Object Model (FOM) that attempts to understand authors' intention b...