Sciweavers

3108 search results - page 236 / 622
» The Elements of Computer Credibility
Sort
View
ACSC
2002
IEEE
15 years 11 months ago
Alias Analysis for Exceptions in Java
We propose a flow-sensitive alias analysis algorithm that computes safe and efficient alias sets in Java. For that, we propose a references-set representation of aliased elements,...
Jehak Woo, Jongwook Woo, Isabelle Attali, Denis Ca...
CA
2000
IEEE
15 years 11 months ago
Adaptive Simulation of Soft Bodies in Real-Time
This paper presents an adaptive technique to animate deformable bodies in real-time. In contrast to most previous work, we introduce a multi-resolution model that locally refines...
Gilles Debunne, Mathieu Desbrun, Marie-Paule Cani,...
LCN
1999
IEEE
15 years 11 months ago
An Integrated Software Immune System: A Framework for Automated Network Management, System Health, and Security
Maintaining the integrity of large-scale networks is becoming an increasingly daunting task as networks expand at an unprecedented rate. The majority of present network monitoring...
Michael Gilfix
151
Voted
ISWC
1997
IEEE
15 years 10 months ago
The Digital Doctor: An Experiment in Wearable Telemedicine
Consultation with various specialists and review of medical literature are key elements in superior, modern medical care. Because this information can be expensive and inconvenien...
Alex Pentland, M. Petrazzuoli, A. Gerega, Thad Sta...
CLA
2004
15 years 8 months ago
Fast Factorization of Concept Lattices by Similarity: Solution and an Open Problem
An important problem in applications of formal concept analysis is a possibly large number of clusters extracted from data. Factorization is one of the methods being used to cope w...
Radim Belohlávek, Jiri Dvorak, Jan Outrata