729 search results - page 113 / 146 » Solving subgraph isomorphism problems with constraint progra... |
147
Voted
ICLP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
161
click to vote
ICALP
1997
Springer
15 years 8 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
155
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
Cooperation between the nodes of wireless multihop networks can increase communication reliability, reduce energy consumption, and decrease latency. The possible improvements are ...
142
Voted
COR
2007
15 years 3 months ago
2007
In this paper we apply a heuristic method based on artificial neural networks (NN) in order to trace out the efficient frontier associated to the portfolio selection problem. We...
139
Voted
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we address the problem of hallucinating a high resolution face given a low resolution input face. The problem is approached through sparse coding. To exploit the fa...