4131 search results - page 615 / 827 » The Generalized Max-Controlled Set Problem |
222
Voted
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
When search is against structured documents, it is beneficial to extract information from user queries in a format that is consistent with the backend data structure. As one step...
196
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider the problem of generating a map between two triangulated meshes, M and M’, with arbitrary and possibly differing genus. This problem has rarely been tackled in its g...
244
click to vote
AB
2007
Springer
16 years 1 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
173
Voted
VLSI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we present the way of fast and accurate estimation of software energy consumption in off-the-shelf processor using IPI(Inter-Prefetch Interval) energy model. In ou...
167
click to vote
SOUPS
2006
ACM
16 years 29 days ago
2006
ACM
Unicode is becoming a dominant character representation format for information processing. This presents a very dangerous usability and security problem for many applications. The...