6020 search results - page 853 / 1204 » A New Approach to Model Counting |
174
click to vote
HICSS
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper addresses challenges associated with the dynamics of knowledge in clusters and regional networks. It develops a conceptual framework, a methodology and a research agend...
154
click to vote
ICRA
2006
IEEE
16 years 21 days ago
2006
IEEE
— Robotized ultrasound examination offers on one hand more accuracy for the medical diagnostic and on the other hand a suitable assistance to radiologists. In the literature, ver...
134
Voted
IISWC
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— This paper presents our approach for applicationaware power management. We combine continuous monitoring of critical workload indicators, online power and performance m...
180
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— Manipulating microscopic objects with the necessary dexterity still remains a very challenging task. In this paper, we propose a freeze gripper able to manipulate micro-objects...
164
click to vote
SIGCOMM
2006
ACM
16 years 18 days ago
2006
ACM
This paper revisits a much explored topic in networking – the search for a simple yet fully-general multicast design. The many years of research into multicast routing have led ...