4814 search results - page 399 / 963 » Combining abstract interpreters |
182
Voted
AICOM
2004
15 years 6 months ago
2004
The paper abstracts the contents of a PhD dissertation entitled A Generic, Collaborative Framework for Interval Constraint Solving which has been recently defended. This thesis pre...
215
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--Significant throughput improvements can be obtained in multiple-input multiple-output (MIMO) fading channels by merging beamforming at the transmitter and maximal ratio c...
191
click to vote
RAS
2007
15 years 6 months ago
2007
The challenges of robotics have led the researchers to develop control architectures composed of distributed, independent and asynchronous behaviors. One way to approach decentral...
195
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— This paper introduces a novel robotic finger concept for variable impedance grasping in unstructured tasks. A brief literature survey reveals the need for minimal comp...
198
click to vote
WABI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Applied Biosystems’ SOLiD system offers a low-cost alternative to the traditional Sanger method of DNA sequencing. We introduce two main algorithms of mapping SOLiD’...