1691 search results - page 271 / 339 » Restricted subset selection |
90
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
117
Voted
DASFAA
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract. Besides topological relations and approximate relations, cardinal directions have turned out to be an important class of qualitative spatial relations. In spatial databas...
127
click to vote
ADBIS
2009
Springer
15 years 9 months ago
2009
Springer
Continuous queries applied over nonterminating data streams usually specify windows in order to obtain an evolving –yet restricted– set of tuples and thus provide timely result...
110
Voted
APPROX
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Given a set J of jobs, where each job j is associated with release date rj, deadline dj and processing time pj, our goal is to schedule all jobs using the minimum possibl...
115
Voted
PSIVT
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose a novel algorithm, named as Spatially Varying Transform (SVT). The basic idea of SVT is that we do not restrict the transform coding inside normal block b...