Sciweavers

2370 search results - page 56 / 474
» The Characterization of Data-Accumulating Algorithms
Sort
View
JSC
2010
70views more  JSC 2010»
14 years 4 months ago
Liouvillian solutions of linear difference-differential equations
For a field k with an automorphism and a derivation , we introduce the notion of liouvillian solutions of linear difference-differential systems {(Y ) = AY, (Y ) = BY } over k an...
Ruyong Feng, Michael F. Singer, Min Wu
ICALP
2004
Springer
15 years 3 months ago
The Power of Verification for One-Parameter Agents
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
Vincenzo Auletta, Roberto De Prisco, Paolo Penna, ...
FODO
1989
Springer
268views Algorithms» more  FODO 1989»
15 years 1 months ago
The Path Length of Binary Trees
We further refine the bounds on the path length of binary trees of a given size by considering not only the size of a binary tree, but also its height and fringe thickness (the d...
Rolf Klein, Derick Wood
ALGORITHMICA
2004
130views more  ALGORITHMICA 2004»
14 years 9 months ago
The Power of Priority Algorithms for Facility Location and Set Cover
We apply and extend the priority algorithm framework introduced by Borodin, Nielsen, and Rackoff to define "greedy-like" algorithms for the (uncapacitated) facility locat...
Spyros Angelopoulos, Allan Borodin
TKDE
2010
159views more  TKDE 2010»
14 years 8 months ago
The Tiled Bitmap Forensic Analysis Algorithm
— Tampering of a database can be detected through the use of cryptographically-strong hash functions. Subsequently-applied forensic analysis algorithms can help determine when, w...
Kyriacos E. Pavlou, Richard T. Snodgrass