999 search results - page 19 / 200 » Constraints in Non-Boolean Contexts |
GLOBECOM
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Carriers conveying long-distance traffic face different routing options with regard to service quality and cost. Thus, Least Cost Routing (LCR) solutions supporting op...
LFCS
2009
Springer
15 years 2 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper proposes a context-constrained hallucination approach for image super-resolution. Through building a training set of high-resolution/low-resolution image segment pairs,...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Mobile advertising, which is an area of mobile commerce, is a form of advertising that targets users of handheld wireless devices such as mobile phones and personal digital assist...
FSTTCS
2004
Springer
15 years 2 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...