2000 search results - page 375 / 400 » Program Transformation and Proof Transformation |
151
Voted
TON
2012
13 years 5 months ago
2012
—The benefits of using mobile base station to prolong sensor network lifetime have been well recognized. However, due to the complexity of the problem (time-dependent network to...
113
Voted
STOC
2010
ACM
16 years 1 days ago
2010
ACM
We initiate a direction for proving lower bounds on the size of non-commutative arithmetic circuits. This direction is based on a connection between lower bounds on the size of no...
121
Voted
IUI
2009
ACM
15 years 11 months ago
2009
ACM
When users combine data from multiple sources into a spreadsheet or dataset, the result is often a mishmash of different formats, since phone numbers, dates, course numbers and ot...
151
Voted
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
In recent years, publish-subscribe (pub-sub) systems based on XML document filtering have received much attention. In a typical pubsub system, subscribed users specify their inte...
151
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...