7197 search results - page 285 / 1440 » On the computational power of BlenX |
159
click to vote
COCOON
2007
Springer
16 years 26 days ago
2007
Springer
Greedy algorithms are simple, but their relative power is not well understood. The priority framework [5] captures a key notion of “greediness” in the sense that it processes (...
187
click to vote
SARA
2007
Springer
16 years 25 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
158
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Interpolation is a technique used to estimate the value of a function at a given location, assuming that the values of the function are known for surrounding locations. A Wireless...
205
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
166
click to vote
WISA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The algorithm proposed by Ha and Moon [2] is a countermeasure against power analysis. The Ha-Moon algorithm has two drawbacks in that it requires an inversion and has a r...