3994 search results - page 568 / 799 » A Linear Logical Framework |
189
click to vote
ISLPED
1995
ACM
15 years 10 months ago
1995
ACM
We present a transistor level power estimator which exploits algorithms for fast circuit simulation to compute the power dissipation of CMOS circuits. The proposed approach uses s...
227
click to vote
ISSS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
185
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— A framework for the deployment of multiple autonomous robotic fish to achieve leader-following formations with Bezier trajectory is presented. Each follower robot estimates th...
185
click to vote
AAAI
2007
15 years 9 months ago
2007
We propose a novel kernel regression algorithm which takes into account order preferences on unlabeled data. Such preferences have the form that point x1 has a larger target value...
197
click to vote
ANTSW
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we present an approach to the cooperative transport of multiple objects in swarm robotics. The approach is motivated by the observation that the performance of cooper...