406 search results - page 37 / 82 » Constraints on Strong Generative Power |
81
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
134
click to vote
ICMCS
1999
IEEE
15 years 5 months ago
1999
IEEE
We address the problem of recovering 3D models from uncalibrated images of architectural scenes. We propose a simple, geometrically intuitive method which exploits the strong rigi...
125
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The Unit Commitment Problem (UCP) is the task of finding an optimal turn on and turn off schedule for a group of power generation units over a given time horizon to minimize ope...
75
Voted
GLVLSI
2006
IEEE
15 years 6 months ago
2006
IEEE
Two generations of a wideband low noise amplifier (LNA) employing noise canceling principle have been synthesized. The first generation design was fabricated in a 0.35 µm SiGe Bi...
128
Voted
DAC
1999
ACM
15 years 5 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...