Sciweavers

7890 search results - page 267 / 1578
» The MathSAT 3 System
Sort
View
ICS
1993
Tsinghua U.
15 years 10 months ago
Dynamic Control of Performance Monitoring on Large Scale Parallel Systems
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...
Jeffrey K. Hollingsworth, Barton P. Miller
KDD
2010
ACM
235views Data Mining» more  KDD 2010»
15 years 10 months ago
The topic-perspective model for social tagging systems
In this paper, we propose a new probabilistic generative model, called Topic-Perspective Model, for simulating the generation process of social annotations. Different from other g...
Caimei Lu, Xiaohua Hu, Xin Chen, Jung-ran Park, Ti...
MICCAI
2000
Springer
15 years 10 months ago
Multi-DOF Forceps Manipulator System for Laparoscopic Surgery
Many problems in laparoscopic surgery are due to the poor degrees of freedom of movement (DOF) in controlling forceps and laparoscopes. The Multi-DOF forceps manipulator we have ne...
Ryoichi Nakamura, Etsuko Kobayashi, Ken Masamune, ...
TAPSOFT
1991
Springer
15 years 10 months ago
A Calculus of Broadcasting Systems
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
K. V. S. Prasad
ACSW
2006
15 years 8 months ago
Formal analysis of card-based payment systems in mobile devices
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
Vijayakrishnan Pasupathinathan, Josef Pieprzyk, Hu...