2864 search results - page 317 / 573 » Constraint Programming in OPL |
DEBU
1999
13 years 9 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...
TVLSI
2002
13 years 9 months ago
2002
Abstract--We introduce the notion of energy-scalable systemdesign. The principal idea is to maximize computational quality for a given energy constraint at all levels of the system...
ICCV
2003
IEEE
14 years 11 months ago
2003
IEEE
In this paper, we propose a novel method to establish temporal correspondence between the frames of two videos. 3D epipolar geometry is used to eliminate the distortion generated ...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—The problem of maximizing the sum of the transmit rates while limiting the outage probability below an appropriate threshold is investigated for networks where the nodes have li...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...