Sciweavers

3708 search results - page 321 / 742
» Approximating Betweenness Centrality
Sort
View
TABLETOP
2006
IEEE
16 years 21 days ago
MultiSpace: Enabling Electronic Document Micro-mobility in Table-Centric, Multi-Device Environments
Although electronic media has changed how people interact with documents, today’s electronic documents and the environments in which they are used are still impoverished relativ...
Katherine Everitt, Chia Shen, Kathy Ryall, Clifton...
WECWIS
2006
IEEE
78views ECommerce» more  WECWIS 2006»
16 years 21 days ago
Improving Patient Activity Schedules by Multi-agent Pareto Appointment Exchanging
We present a dynamic and distributed approach to the hospital patient scheduling problem: the multi-agent Pareto-improvement appointment exchanging algorithm, MPAEX. It respects t...
Ivan B. Vermeulen, Sander M. Bohte, D. J. A. Somef...
PLDI
2006
ACM
16 years 19 days ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
SIGIR
2006
ACM
16 years 19 days ago
Respect my authority!: HITS without hyperlinks, utilizing cluster-based language models
We present an approach to improving the precision of an initial document ranking wherein we utilize cluster information within a graph-based framework. The main idea is to perform...
Oren Kurland, Lillian Lee
ICRA
2005
IEEE
147views Robotics» more  ICRA 2005»
16 years 8 days ago
Impedance Control of a Pneumatic Actuator for Contact Tasks
– This paper presents a method for the impedance control of a pneumatic linear actuator for tasks involving contact interaction. The method presented takes advantage of the natur...
Yong Zhu, Eric J. Barth