3145 search results - page 525 / 629 » Algebraic Linear Orderings |
174
click to vote
BTW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract: Optimization of nested queries, in particular finding equivalent “flattened” queries for queries that employ the SQL sub-query construct, has been researched extensiv...
140
Voted
FPGA
2003
ACM
15 years 9 months ago
2003
ACM
To truly exploit FPGAs for rapid turn-around development and prototyping, placement times must be reduced to seconds; latebound, reconfigurable computing applications may demand p...
133
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Convex relaxations for continuous multilabel problems have attracted a lot of interest recently [1–5]. Unfortunately, in previous methods, the runtime and memory requirements sca...
140
click to vote
AICT
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper, nonlinear digital filters with finite precision are analyzed as recursive systematic convolutional (RSC) encoders. An infinite impulse response (IIR) digital filt...
123
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...