Sciweavers

1648 search results - page 219 / 330
» Computing swept volumes
Sort
View
TPHOL
1997
IEEE
15 years 8 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
ISI
2008
Springer
15 years 4 months ago
Real time intrusion prediction, detection and prevention programs
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
A. Abraham
141
Voted
MDM
2004
Springer
147views Communications» more  MDM 2004»
15 years 9 months ago
Mobile Agents: Can They Assist with Context Awareness?
This position paper argues that the mobile agents paradigm is a useful and important technology enabling pervasive and ubiquitous computing. Context awareness drives adaptability ...
Arkady B. Zaslavsky

Publication
2162views
17 years 5 months ago
Virtual Fly-Over: A New Visualization Technique For Virtual Colonoscopy
In this paper, we propose a new visualization technique for virtual colonoscopy (VC). The proposed method is called Virtual Fly-Over, which splits the entire colon anatomy into e...
M. Sabry Hassouna, Aly A. Farag, Robert Falk

Book
5690views
17 years 1 months ago
The OpenGL Reference Manual - The Bluebook
"This manual is designed to be used as the companion reference volume to the OpenGL Programming Guide by Jackie Neider, Tom Davis, and Mason Woo (Reading, MA: Addison-Wesley P...
Dave Shreiner