Sciweavers

6274 search results - page 280 / 1255
» Proofs, Programs, Processes
Sort
View
ACTAC
2006
94views more  ACTAC 2006»
15 years 6 months ago
MedEdit: A Computer Assisted Image Processing and Navigation System for Orthopedic Trauma Surgery
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
Krisztián Ollé, Balázs Erd&ou...
QRE
2011
14 years 9 months ago
Phase II monitoring of covariance stationary autocorrelated processes
papers/abstracts/authors within each session. • The Author and Session indices provide cross-reference assistance (pages 33-36). • The floor plan on page 6 shows you where tech...
Marcus B. Perry, Gary R. Mercado, Joseph J. Pignat...
IPPS
2007
IEEE
16 years 26 days ago
A Model for Large Scale Self-Stabilization
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
Thomas Hérault, Pierre Lemarinier, Olivier ...
ESORICS
2000
Springer
15 years 10 months ago
Authentication and Confidentiality via IPSEC
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer
ICIP
2007
IEEE
16 years 8 months ago
The Hough Transform's Implicit Bayesian Foundation
This paper shows that the basic Hough transform is implicitly a Bayesian process--that it computes an unnormalized posterior distribution over the parameters of a single shape giv...
Neil Toronto, Bryan S. Morse, Dan Ventura, Kevin D...