1716 search results - page 252 / 344 » Proving Conditional Termination |
114
Voted
STOC
2003
ACM
16 years 3 months ago
2003
ACM
For a Boolean formula on n variables, the associated property P is the collection of n-bit strings that satisfy . We study the query complexity of tests that distinguish (with hig...
122
Voted
PODS
2008
ACM
16 years 3 months ago
2008
ACM
In the rank join problem, we are given a set of relations and a scoring function, and the goal is to return the join results with the top K scores. It is often the case in practic...
126
click to vote
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Retrieving related graphs containing a query graph from a large graph database is a key issue in many graph-based applications, such as drug discovery and structural pattern recog...
154
Voted
MOBISYS
2007
ACM
16 years 2 months ago
2007
ACM
Wireless sensor networks have become increasingly common in everyday applications due to decreasing technology costs and improved product reliability. An ideal application for wire...
128
click to vote
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
Channel allocation was extensively investigated in the framework of cellular networks, but it was rarely studied in the wireless ad-hoc networks, especially in the multi-hop ad-ho...