406 search results - page 45 / 82 » Constraints on Strong Generative Power |
116
Voted
JAR
2006
15 years 22 days ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
82
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— This paper presents the design of a 14 degree-ofmotion forearm actuation unit for an upper extremity prosthesis. The forearm utilizes pneumatic type actuators which use...
107
Voted
CODES
2001
IEEE
15 years 4 months ago
2001
IEEE
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...
108
Voted
GLVLSI
2000
IEEE
15 years 5 months ago
2000
IEEE
† The limits on CMOS energy dissipation imposed by subthreshold leakage currents and by wiring capacitance are investigated for CMOS generations beyond 50nm at NTRS projected loc...
97
Voted
INFORMATICALT
2010
14 years 11 months ago
2010
This paper presents an improved differential evolution (IDE) method for the solution of large-scale unit commitment (UC) problems. The objective of the proposed scheme is to determ...