3775 search results - page 49 / 755 » The Expression Problem Revisited |
120
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a Markov Random Field (MRF)-based approach for depth map super-resolution and enhancement. Given a low-resolution or moderate quality depth map, we study the p...
86
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
In this article, we argue that a program transformation approach is a good way to solve the tyranny of the primary decomposition. We illustrate our transformation-based approach o...
109
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Because it is an integral part of the Internet routing apparatus, and because it allows multiple instances of the same service to be "naturally" discovered, IP Anycast h...
110
click to vote
ISQED
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper revisits and extends a general linear programming(LP) formulation to exploit multiple knobs such as multi-Lgate footprint-compatible libraries and post-layout Lgateb...