15416 search results - page 341 / 3084 » Embeddings of Computable Structures |
224
click to vote
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
180
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Differential evolution (DE) is a powerful yet simple evolutionary algorithm for optimizing real valued optimization problems. Traditional investigations with differential evolution...
208
click to vote
ISQED
2008
IEEE
16 years 1 months ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...
190
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we present a methodology to drive the end effector of a robotic manipulator across the surface of an object in the workspace, and at the same time the manipulator...
210
click to vote
RSP
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...