Sciweavers

1485 search results - page 117 / 297
» connection 2010
Sort
View
LATIN
2010
Springer
16 years 27 days ago
Kernelization through Tidying
Abstract. We introduce the NP-hard graph-based data clustering problem s-Plex Cluster Vertex Deletion, where the task is to delete at most k vertices from a graph so that the conne...
René van Bevern, Hannes Moser, Rolf Niederm...
PAM
2010
Springer
16 years 27 days ago
Characterizing the Global Impact of P2P Overlays on the AS-Level Underlay
Abstract. This paper examines the problem of characterizing and assessing the global impact of the load imposed by a Peer-to-Peer (P2P) overlay on the AS-level underlay. In particu...
Amir Hassan Rasti, Reza Rejaie, Walter Willinger
HRI
2010
ACM
15 years 11 months ago
Recognizing engagement in human-robot interaction
—Based on a study of the engagement process between humans, we have developed and implemented an initial computational model for recognizing engagement between a human and a huma...
Charles Rich, Brett Ponsleur, Aaron Holroyd, Canda...
DATE
2010
IEEE
263views Hardware» more  DATE 2010»
15 years 11 months ago
SCOC3: a space computer on a chip
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...
Franck Koebel, Jean-François Coldefy
TAMC
2010
Springer
15 years 11 months ago
Optimal Acceptors and Optimal Proof Systems
Unless we resolve the P vs NP question, we are unable to say whether there is an algorithm (acceptor) that accepts Boolean tautologies in polynomial time and does not accept non-ta...
Edward A. Hirsch