7971 search results - page 359 / 1595 » On unbounded operators and applications |
120
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
181
click to vote
APAL
2008
15 years 7 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...
190
click to vote
TCS
2008
15 years 6 months ago
2008
In this paper, we study the conditions in which the (1+1)-EA compares favorably to other evolutionary algorithms (EAs) in terms of fitness function distribution at given iteration...
229
Voted
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Complex database queries require the use of memory-intensive operators like sort and hashjoin. Those operators need memory, also referred to as SQL memory, to process their input ...
161
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Energy is the critical limiting resource to mobile computing devices. Correspondingly, an operating system must track, provision, and ration how applications consume energy. The e...