Behavioral based safety process, an effective compliment to OSHA compliance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cruthirds, D.; Pittman, S.
Year: 1996
MMICs for commercial applications: the low-cost high volume production techniques
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hess, R.
Year: 1996
A microwave radar for vehicular applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Thompson, S.D.
Year: 1996
A miniaturized GaAs power amplifier for 1.5 GHz digital cellular phones
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Makioka, S.; Enomoto, S.; Furukawa, H.; Tateoka, K.; Yoshikawa, N.; Kanazawa, K.
Year: 1996
High efficiency power HFETs for low power wireless applications [AlGaAs/InGaAs devices]
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nair, V.; Tehrani, S.; Halchin, D.; Glass, E.; Fisk, E.; Majerus, M.
Year: 1996
Performance comparison of 1 watt Ka-band MMIC amplifiers using pseudomorphic HEMTs and ion-implanted MESFETs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yarborough, R.; Saunier, P.; Hua Quen Tserng
Year: 1996
An ion-implanted 13 watt C-band MMIC with 60% peak power added efficiency
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pribble, W.L.; Griffin, E.L.
Year: 1996
K through Ka-band driver and power amplifiers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Simon, K.M.; Wohlert, R.M.; Wendler, J.P.; Aucoin, L.M.; Vye, D.W.
Year: 1996
A 15/60 GHz one-stage MMIC frequency quadrupler
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shirakawa, K.; Kawasaki, Y.; Ohashi, Y.; Okubo, N.
Year: 1996
A GaAs single chip 2.4 GHz PLL frequency multiplier
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Baumberger, W.; Schmatz, M.L.
Year: 1996
A technique for improving the distortion of GaAs variable attenuator IC using squeezed-gate FET structure
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Miyatsuji, K.; Ishida, H.; Fukui, T.; Ueda, D.
Year: 1996
A high-performance broadband MMIC PHEMT resistive drain mixer for 28-40 GHz band PCN applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cardinal, F.; Hongming An; Mag, I.; Smith, R.
Year: 1996
A broadband planar monolithic ring mixer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Maas, S.; Kintis, M.; Fong, F.; Tan, M.
Year: 1996
Low-voltage broadband BiCMOS MMICs for low-cost high-speed wireless networks applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Madihian, M.
Year: 1996
Advances in GaAs HBT power amplifiers for cellular phones and military applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ali, F.; Gupta, A.; Higgins, A.
Year: 1996
A 1.9 GHz single-chip RF front-end GaAs MMIC for personal communications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nakayama, M.; Mori, K.; Ogata, N.; Mitsui, Y.; Yuura, H.; Yoshii, Y.; Yamamoto, K.; Maemura, K.; Ishida, O.
Year: 1996
A silicon BiCMOS transceiver front-end MMIC covering 900 and 1900 MHz applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Titus, W.; Shifrin, M.; Asparin, V.; Bedard, B.
Year: 1996
A 1.0 V GaAs receiver front-end IC for mobile communication equipment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Itoh, J.; Nakatsuka, T.; Nishitsuji, M.; Uda, T.; Ishikawa, O.
Year: 1996
Low DC power monolithic low noise amplifier for wireless applications at 5 GHz
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lott, U.
Year: 1996
Three-dimensional MMIC technology for multifunction integration and its possible application to masterslice MMIC
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tokumitsu, T.; Nishikawa, K.; Kamogawa, K.; Toyoda, I.; Aikawa, M.
Year: 1996
Ultra low noise Q-band monolithic amplifiers using InP- and GaAs-based 0.1 /spl mu/m HEMT technologies
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aust, M.V.; Huang, T.W.; Dufault, M.; Wang, H.; Lo, D.C.W.; Lai, R.; Biedenbender, M.; Yang, C.C.
Year: 1996
Monolithic single FET mixers with coplanar technology to convert between V and C band
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rosario, M.J.; Bernardino, J.; Fortes, F.; Kulke, R.; Sporkman, T.; Freire, J.C.
Year: 1996
Suspended membrane inductors and capacitors for application in silicon MMIC's
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sun, Y.; Van Zejl, H.; Tauritz, J.L.; Baets, R.G.F.
Year: 1996
A novel loss compensation technique for high-Q broad-band active inductors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hayashi, H.; Muraguchi, M.; Umeda, Y.; Enoki, T.
Year: 1996
A quenchable GaAs HBT X-band VCO for switched band synthesizer architectures
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kobayashi, K.W.; Smith, D.M.; Kau, C.P.; Oki, A.K.; Sharma, A.K.; Allen, B.R.; Streit, D.C.
Year: 1996
60 GHz-band ultra-miniature monolithic T/R modules for multimedia wireless communication systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ohata, K.; Inoue, T.; Funabashi, M.; Inoue, A.; Takimoto, Y.; Kuwabara, T.; Shinozaki, S.; Maruhashi, K.; Hosoya, K.; Nagai, H.
Year: 1996
InAlAs/InGaAs/InP-HEMT technologies for high yield analog/digital ICs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Umeda, Y.; Enoki, T.; Osafune, K.; Ito, H.; Ishii, Y.
Year: 1996
An investigation of IM3 distortion in relation to bypass capacitor of GaAs MMIC's
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kawasaki, H.; Ohgihara, T.; Murakami, Y.
Year: 1996
A novel MMIC source impedance tuner for on-wafer microwave noise parameter measurements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Collins, C.E.; Pollard, R.D.; Miles, R.E.
Year: 1996
Status of InP HEMT technology for microwave receiver applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Smith, P.M.
Year: 1996
High performance, high yield millimeter-wave MMIC LNAs using InP HEMTs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tran, L.; Isobe, R.; Delaney, M.; Rhodes, R.; Jang, D.; Brown, J.; Nguyen, L.; Le, M.; Thompson, M.; Liu, T.
Year: 1996
A 60 GHz-band low noise HJFET amplifier module for wireless LAN applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Maruhashi, K.; Funabashi, M.; Inoue, T.; Madihian, M.; Kuzuhara, M.
Year: 1996
A Ka-band GaInP/GaAs HBT four-stage LNA
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Freundorfer, A.P.; Jamani, Y.; Falt, C.
Year: 1996
A low noise heterodyne 89 GHz MMIC module for the multifrequency imaging microwave radiometer (MIMR)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Guttich, U.; Dieudonne, J.-M.; Klaassen, A.; Sledzik, H.; Schmegner, K.-E.; Goebel, U.; Boheim, M.
Year: 1996
A technique for deriving noise-parameters of millimeter-wave low-noise HEMTs and its application to MMIC LNA design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yoshinaga, H.; Kashiwabara, Y.; Abe, B.; Shibata, K.
Year: 1996
Monolithic VCO using a novel active inductor
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yongho Cho; Songcheol Hong; Youngse Kwon
Year: 1996
A high-performance and miniaturized dual-use (antenna/local) GaAs SPDT switch IC operating at +3 V/0 V
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Uda, H.; Nogawa, K.; Hirai, T.; Sawai, T.; Higashino, T.; Harada, Y.
Year: 1996
High efficiency X-Ku band MMIC power amplifiers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cardullo, M.; Page, C.; Teeter, D.; Platzker, A.
Year: 1996
Fully-matched, high-efficiency Q-band 1 watt MMIC solid state power amplifier
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hwang, Y.; Chow, P.D.; Lester, J.; Chi, J.; Garske, D.; Biedenbender, M.; Lai, R.
Year: 1996
Highly efficient compact Q-band MMIC power amplifier using 2-mil substrate and partially-matched output
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lester, J.A.; Hwang, Y.; Chi, J.; Lai, R.; Biedenbender, M.; Chow, P.D.
Year: 1996
A practical MMIC negative resistance structure for X and Ku band applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moazzam, M.R.; Darvishzadeh, M.
Year: 1996
GaAs monolithic integrated microwave power sensor in coplanar waveguide technology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dehe, A.; Klingbeil, H.; Krozer, V.; Fricke, K.; Beilenhoff, K.; Hartnagel, H.L.
Year: 1996
A MMIC radar chip for use in air-to-air missile fuzing applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pollman, M.D.; Katzin, P.; Bedard, B.; Aparin, V.; Grammer, W.; Orgusaar, R.
Year: 1996
A silicon MOS process for integrated RF power amplifiers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dragon, C.; Costa, J.; Lamey, D.; Ngo, D.; Burger, W.; Camilleri, N.
Year: 1996
Frequency translation MMICs using InP HEMT technology
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tran, L.; Delaney, M.; Isobe, R.; Jang, D.; Brown, J.
Year: 1996
A novel type of constant impedance traveling wave phase shifter for InP-based MMICs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kremer, R.; Redlich, S.; Brings, L.; Jager, D.
Year: 1996
Active coplanar up-converter for high gain V-band applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kulke, R.; Sporkmann, Th.; Wolff, I.; Rosario, M.J.; Fortes, F.
Year: 1996
26 GHz coplanar SiGe MMICs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rheinfelder, C.; Strohm, K.; Beisswanger, F.; Gerdes, J.; Schmuckle, F.J.; Luy, J.-F.; Heinrich, W.
Year: 1996
MMICs for sensor applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tempel, R.; Lutke, W.; Herrmann, J.; Wolff, I.
Year: 1996
A linear Class AB single-ended to differential transconverter suitable for RF circuits
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Durec, J.; Main, E.
Year: 1996
Distributed small signal model for multi-fingered GaAs PHEMT/MESFET devices
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nash, S.J.; Platzker, A.; Struble, W.
Year: 1996
A SIMMWIC 76 GHz front-end with high polarization purity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Singer, M.; Stiller, A.; Strohm, K.M.; Luy, J.-F.; Biebl, E.M.
Year: 1996
A high efficiency complementary GaAs power FET technology for single supply portable applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Glass, E.; Abrokwah, J.; Lucero, R.; Spears, E.; Rollman, J.; Huang, J.-H.; Bernhardt, B.; Ooms, B.
Year: 1996
Author index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
Bayesian image restoration and segmentation by constrained optimization
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S.Z. Li; K.L. Chan; H. Wang
Year: 1996
Sparse representations for image decomposition with occlusions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:M. Donahue; D. Geiger; R. Hummel; Tyng-Luh Liu
Year: 1996
Extracting salient curves from images: an analysis of the saliency network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:T.D. Alter; R. Basri
Year: 1996
Blurring strategies for image segmentation using a multiscale linking model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:K.L. Vincken; W.J. Niessen; M.A. Viergever
Year: 1996
Scale space localization, blur, and contour-based image coding
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J.H. Elder; S.W. Zucker
Year: 1996
Recognizing 3D objects by generating random actions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Herbin
Year: 1996
Viewpoint variation in the noise sensitivity of pose estimation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:C.B. Madsen
Year: 1996
Gauging relational consistency and correcting structural errors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:R.C. Wilson; E.R. Hancock
Year: 1996
Eigenfeatures for planar pose measurement of partially occluded objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J. Krumm
Year: 1996
Finding corresponding points based on Bayesian triangulation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:A.S. Bedekar; R.M. Haralick
Year: 1996
Active face tracking and pose estimation in an interactive room
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:T. Darrell; B. Moghaddam; A.P. Pentland
Year: 1996
3-D model-based tracking of humans in action: a multi-view approach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D.M. Gavrila; L.S. Davis
Year: 1996
Model-based estimation of 3D human motion with occlusion based on active multi-viewpoint selection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:I.A. Kakadiaris; D. Metaxas
Year: 1996
Hand segmentation using learning-based prediction and verification for hand sign recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Y. Cui; J.J. Weng
Year: 1996
Further constraints on visual articulated motions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D. Sinclair; K. Zesar
Year: 1996
Invariant histograms and deformable template matching for SAR target recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:K. Ikeuchi; T. Shakunaga; M.D. Wheeler; T. Yamazaki
Year: 1996
Modeling clutter and context for target detection in infrared images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Rong; B. Bhanu
Year: 1996
Multi-stage target recognition using modular vector quantizers and multilayer perceptrons
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:L.A. Chan; N.M. Nasrabadi; V. Mirelli
Year: 1996
On a spectral attentional mechanism
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:P. Burlina; B. Lin; R. Chellappa
Year: 1996
Polarization phase-based method for material classification and object recognition in computer vision
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hua Chen; L.B. Wolff
Year: 1996
A common framework for curve evolution, segmentation and anisotropic diffusion
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J. Shah
Year: 1996
Comparison of edge detectors: a methodology and initial study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:M. Heath; S. Sarkar; T. Sanocki; K. Bowyer
Year: 1996
A hierarchical approach to high resolution edge contour reconstruction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Casadei; S.K. Mitter
Year: 1996
Visual organization for figure/ground separation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D. Geiger; K. Kumaran; L. Parida
Year: 1996
Local parallel computation of stochastic completion fields
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:L.R. Williams; D.W. Jacobs
Year: 1996
Controlled camera motions for scene reconstruction and exploration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:E. Marchand; F. Chaumette
Year: 1996
Optimal servoing for active foveated vision
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:H.P. Rotstein; E. Rivlin
Year: 1996
Calibration of a foveated wide-angle lens on an active vision head
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:L. Berthouze; S. Rougeaux; F. Chavand; Y. Kuniyoshi
Year: 1996
Incremental focus of attention for robust visual tracking
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:K. Toyama; G.D. Hager
Year: 1996
A stereo machine for video-rate dense depth mapping and its new applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:T. Kanade; A. Yoshida; K. Oda; H. Kano; M. Tanaka
Year: 1996
Neural network-based face detection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:H.A. Rowley; S. Baluja; T. Kanade
Year: 1996
Feature-based face recognition using mixture-distance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:I.J. Cox; J. Ghosn; P.N. Yianilos
Year: 1996
Convolutional neural networks for face recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Lawrence; C.L. Giles; Ah Chung Tsoi
Year: 1996
Recognition of planar object classes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:M.C. Burl; P. Perona
Year: 1996
The integration of optical flow and deformable models with applications to human face shape and motion estimation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D. DeCarlo; D. Metaxas
Year: 1996
Graph matching by graduated assignment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Gold; A. Rangarajan
Year: 1996
Non-rigid matching using demons
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J.-P. Thirion
Year: 1996
Determining correspondences and rigid motion of 3-D point sets with missing data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Xiaoguang Wang; Yong-Qing Cheng; R.T. Collins; A.R. Hanson
Year: 1996
Structure from multiple 2D affine correspondences without camera calibration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:H. Schweitzer; R. Krishnan
Year: 1996
From projective to Euclidean reconstruction
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:F. Devernay; O. Faugeras
Year: 1996
What is the set of images of an object under all possible lighting conditions?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:P.N. Belhumeur; D.J. Kriegman
Year: 1996
Inference of segmented, volumetric shape from three intensity images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:P. Havaldar; G. Medioni
Year: 1996
Mirror and point symmetry under perspective skewing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:L. Van Gool; T. Moons; M. Proesmans
Year: 1996
Global models with parametric offsets as applied to cardiac motion recovery
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:T. O'Donnell; T. Boult; A. Gupta
Year: 1996
MUSE: robust surface fitting using unbiased scale estimates
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J.V. Miller; C.V. Stewart
Year: 1996
Skin and bones: multi-layer, locally affine, optical flow and regularization with transparency
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. X. Ju; M.J. Black; A.D. Jepson
Year: 1996
Comparison of approaches to egomotion computation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:T.Y. Tian; C. Tomasi; D.J. Heeger
Year: 1996
A unified mixture framework for motion segmentation: incorporating spatial coherence and estimating the number of models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Y. Weiss; E.H. Adelson
Year: 1996
Structure and motion of curved 3D objects from monocular silhouettes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:B. Vijayakumar; D.J. Kriegman; J. Ponce
Year: 1996
Structure from linear or planar motions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J. Oliensis
Year: 1996
Stereo matching with non-linear diffusion
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D. Scharstein; R. Szeliski
Year: 1996
Ordinal measures for visual correspondence
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D.N. Bhat; S.K. Nayar
Year: 1996
A space-sweep approach to true multi-image matching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:R.T. Collins
Year: 1996
3-D scene data recovery using omnidirectional multibaseline stereo
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sing Bing Kang; R. Szeliski
Year: 1996
Occlusion detectable stereo-occlusion patterns in camera matrix
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Y. Nakamura; T. Matsuura; K. Satoh; Y. Ohta
Year: 1996
Panoramic image acquisition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:A. Krishnan; N. Ahuja
Year: 1996
Runway obstacle detection by controlled spatiotemporal image flow disparity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Sull; B. Sridhar
Year: 1996
Combination of multiple classifiers using local accuracy estimates
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:K. Woods; K. Bowyer; W.P. Kegelmeyer, Jr.
Year: 1996
Efficient image gradient-based object localisation and recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:T.N. Tan; G.D. Sullivan; K.D. Baker
Year: 1996
Real-time tracking of image regions with changes in geometry and illumination
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:G.D. Hager; P.N. Belhumeur
Year: 1996
Towards accurate recovery of shape from shading under diffuse lighting
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:A.J. Stewart; M.S. Langer
Year: 1996
Illumination and geometry invariant recognition of texture in color images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:L. Wang; G. Healey
Year: 1996
Texture features and learning similarity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:W.Y. Ma; B.S. Manjunath
Year: 1996
Minimal operator set for passive depth from defocus
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:M. Watanabe; S.K. Nayar
Year: 1996
Video browsing using edges and motion
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:R. Zabih; J. Miller; K. Mai
Year: 1996
Interactive learning with a "Society of Models"
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:T.P. Minka; R.W. Picard
Year: 1996
Dealing with occlusions in the eigenspace approach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:A. Leonardis; H. Bischof
Year: 1996
Recognition of handwritten phrases as applied to street name images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:G. Kim; V. Govindaraju
Year: 1996
Edge detection and ridge detection with automatic scale selection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:T. Lindeberg
Year: 1996
Parametric feature detection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S.K. Nayar; S. Baker; H. Murase
Year: 1996
Quantitative measures of change based on feature organization: eigenvalues and eigenvectors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Sarkar; K.L. Boyer
Year: 1996
Randomness and geometric features in computer vision
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:X. Pennec; N. Ayache
Year: 1996
Lie groups, space-variant Fourier analysis and the exponential chirp transform
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:G. Bonmassar; E.L. Schwartz
Year: 1996
SiteCity: a semi-automated site modelling system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yuan Hsieh
Year: 1996
A shock grammar for recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:K. Siddiqi; B.B. Kimia
Year: 1996
New, faster, more controlled fitting of implicit polynomial 2D curves and 3D surfaces to data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zhibin Lei; D.B. Cooper
Year: 1996
Affine invariant detection: edges, active contours, and segments
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:P.J. Olver; G. Sapiro; A. Tannenbaum
Year: 1996
On 3D shape similarity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Heung-Yeung Shum; M. Hebert; K. Ikeuchi
Year: 1996
Subpixel image registration by estimating the polyphase decomposition of cross power spectrum
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:H. Shekarforoush; M. Berthod; J. Zerubia
Year: 1996
Closed-loop object recognition using reinforcement learning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jing Peng; B. Bhanu
Year: 1996
Pattern rejection
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Baker; S.K. Nayar
Year: 1996
A robust clustering algorithm based on competitive agglomeration and soft rejection of outliers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:H. Frigui; R. Krishnapuram
Year: 1996
Extraction of maximal inscribed disks from discrete Euclidean distance maps
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yaorong Ge; M. Fitzpatrick
Year: 1996
Constrained phase congruency: simultaneous detection of interest points and of their scales
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D. Reisfeld
Year: 1996
Nonlinear shape restoration for document images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yun Weng; Qiuming Zhu
Year: 1996
Complexity analysis of RBF networks for pattern recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:L. Sardo; J. Kittler
Year: 1996
Real-time extraction of connected components in 3-D sonar range images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:P.G. Auran; K.E. Malvig
Year: 1996
A framework for recognizing a facial image from a police sketch
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:R.G. Uhl, Jr.; N. da Vitoria Lobo
Year: 1996
Recovery of global nonrigid motion-a model based approach without point correspondences
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Kumar; D. Goldof
Year: 1996
Interpreting and representing tabular documents
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J.F. Arias; A. Chhabra; V. Misra
Year: 1996
Novel active-vision-based visual-threat-cue for autonomous navigation tasks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S.R. Kundur; D. Raviv
Year: 1996
Competitive mixture of deformable models for pattern classification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kwok-Wai Cheung; Dit-Yan Yeung; R.T. Chin
Year: 1996
A fast and flexible statistical method for text extraction in document pages
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:P. Parodi; G. Piccioli
Year: 1996
The use of hybrid models to recover cardiac wall motion in tagged MR images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:G. Funka-Lea; A. Gupta
Year: 1996
Word spotting: a new approach to indexing handwriting
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:R. Manmatha; Chengfeng Han; E.M. Riseman
Year: 1996
Bayesian face recognition using deformable intensity surfaces
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:B. Moghaddam; C. Nastar; A. Pentland
Year: 1996
Similarity queries in image databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Santini; R. Jain
Year: 1996
Isotropic gradient estimation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J. Merron; M. Brady
Year: 1996
Isotropic processing for gradient estimation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Djemel Ziou; Shengrui Wang
Year: 1996
Global minimum for active contour models: a minimal path approach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:L.D. Cohen; R. Kimmel
Year: 1996
Convexity analysis of active contour problems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:C. Davatzikos; J.L. Prince
Year: 1996
Vector-valued active contours
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:G. Sapiro
Year: 1996
FRAME: filters, random fields, and minimax entropy towards a unified theory for texture modeling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Song Chun Zhu; Yingnian Wu; D. Mumford
Year: 1996
Geometric and photometric constraints for surface recovery
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jiping Lu; J. Little
Year: 1996
Autonomous recognition: driven by ambiguity
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:F.G. Callari; F.P. Ferrie
Year: 1996
Active intrinsic calibration using vanishing points
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:K. Daniilidis; J. Ernst
Year: 1996
Target detection in foveal ATR systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Ghosal; D.C. McKee
Year: 1996
An MIMD computing platform for a hierarchical foveal machine vision system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fenglei Du; A. Izatt; C. Bandera
Year: 1996
Attention control for robot vision
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:C.-F. Westin; C.-J. Westelius; H. Knutsson; G. Granlund
Year: 1996
Gesture recognition using the Perseus architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:R.E. Kahn; M.J. Swain; P.N. Prokopowicz; R.J. Firby
Year: 1996
Physics-based segmentation: moving beyond color
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:B.A. Maxwell; S.A. Shafer
Year: 1996
Using physics-based invariant representations for the recognition of regions in multispectral satellite images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:G. Healey; A. Jain
Year: 1996
Recovering affine motion and defocus blur simultaneously
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Z. Myles; N. da Vitoria Lobo
Year: 1996
/spl lambda//spl tau/-space representation of images and generalized edge detector
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:M. Gokmen; A.K. Jain
Year: 1996
Using a spectral reflectance model for the illumination-invariant recognition of local image structure
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D. Slater; G. Healey
Year: 1996
Epipolar geometry and linear subspace methods: a new approach to weak calibration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J. Ponce; Y. Genc
Year: 1996
Shadows and shading flow fields
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:P. Breton; S.W. Zucker
Year: 1996
Affine structure and photometry
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:R. Rosenholtz; J.J. Koenderink
Year: 1996
Robust recovery of camera rotation from three frames
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:B. Rousso; S. Avidan; A. Shashua; S. Peleg
Year: 1996
A factorization method for affine structure from line correspondences
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Long Quan; T. Kanade
Year: 1996
Canonical decomposition of steerable functions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Y. Hel-Or; P.C. Teo
Year: 1996
Motion from fixation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Soatto; P. Perona
Year: 1996
Reducing "structure from motion"
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S. Soatto; P. Perona
Year: 1996
Multilinear constraints in the infinitesimal-time case
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:K. Astrom; A. Heyden
Year: 1996
Dense nonrigid motion tracking from a sequence of velocity fields
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:F.G. Meyer; R.T. Constable; A.J. Sinusas; J.S. Duncan
Year: 1996
Factorization methods for projective structure and motion
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:B. Triggs
Year: 1996
Stereo vision for view synthesis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D. Scharstein
Year: 1996
Closest point search in high dimensions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:S.A. Nene; S.K. Nayar
Year: 1996
3-D object pose estimation by shading and edge data fusion-simulating virtual manipulation on mental images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Y. Nomura; Dili Zhang; Y. Sakaida; S. Fujii
Year: 1996
Combining greyvalue invariants with local constraints for object recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:C. Schmid; R. Mohr
Year: 1996
Recognizing three-dimensional objects by comparing two-dimensional images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D.P. Huttenlocher; L.M. Lorigo
Year: 1996
Recovering the viewing parameters of random, translated and noisy projections of asymmetric objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:P.D. Lauren; N. Nandhakumar
Year: 1996
Recognition via consensus of local moments of brightness and orientation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J.B. Burns
Year: 1996
Coregistration of range and optical images using coplanarity and orientation constraints
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:A.N.A. Schwickerath; J.R. Beveridge
Year: 1996
Connectionist networks for feature indexing and object recognition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:C.F. Olson
Year: 1996
Indexing to 3D model aspects using 2D contour features
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jin-Long Chen; G.C. Stockman
Year: 1996
Feature correspondence by interleaving shape and texture computations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D. Beymer
Year: 1996
Author index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
A distributed connection manager interface for web services on IBM SP systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yew-Huey Liu; Dantzig, P.; Wu, C.E.; Ni, L.M.
Year: 1996
Info-Plaza: A social information filtering system for the World-Wide Web
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hiraiwa, S.; Kohda, Y.
Year: 1996
A unified media presentation method for multimedia information networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shibata, Y.; Seta, N.; Katsumoto, M.
Year: 1996
Support of cooperating and distributed business processes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Graw, G.; Gruhn, V.; Krumm, H.
Year: 1996
All-fault-tolerant embedding of a complete binary tree in a group of Cayley graphs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chiun-Chieh Hsu
Year: 1996
Bubblesort star graphs: a new interconnection network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zi-Tsan Chou; Chiun-Chieh Hsu; Jang-Ping Sheu
Year: 1996
Efficiency of the domain decomposition method for the parallelization of implicit finite element code
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nikishkov, G.P.; Makinouchi, A.
Year: 1996
State reduction in the exact analysis of fork/join queueing systems with homogeneous exponential servers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yeung, K.H.; Yum, T.S.
Year: 1996
Transactional programming for distributed agent systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Murthy, V.K.
Year: 1996
Cost-balanced cooperation protocol in multi-agent robotic systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fang-Chang Lin; Hsu, J.Y.-J.
Year: 1996
Agent-based approach for information gathering on highly distributed and heterogeneous environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Okada, R.; Eun-Seok Lee; Shiratori, N.
Year: 1996
A linear-time algorithm for computing the diameters of the incomplete WK-recursive networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Min-Yang Su; Gen-Huey Chen; Dyi-Rong Duh
Year: 1996
An efficient algorithm for set-to-set node-disjoint paths problem in hypercubes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Qian-Ping Gu; Shietung Peng
Year: 1996
What features really make distributed minimum spanning tree algorithms efficient?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Faloutsos, M.; Molle, M.
Year: 1996
Implementation of MAP: A system for mobile assistant programming
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Perret, S.; Duda, A.
Year: 1996
Synchronization model for multimedia communication and presentation in distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lung-Hsiung Wang; Jan-Min Chen
Year: 1996
Automatic modification of a protocol specification based on changes of a service specification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Go, K.; Takahashi, K.; Kaminaga, H.; Shiratori, N.
Year: 1996
Some sparse time-relaxed broadcast communication networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shastri, A.
Year: 1996
Studies for realizing soft TCCS residing on top of Ethernet LAN
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nakano, N.; Ando, T.; Sato, F.; Mizuno, T.
Year: 1996
A study on call modelling for AIN/B-ISDN integration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hee Jin Lim; Min Su Cho; Go Bong Choi
Year: 1996
Distributed arithmetic-based architectures for high speed IIR filter design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ching-Long Su; Yin-Tsung Hwang
Year: 1996
Performance evaluation of a WDMA OIDSM multiprocessors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:I-Shyan Hwang
Year: 1996
Double parity sparing for performance improvement in disk arrays
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Min-Young Lee; Myong-Soon Park
Year: 1996
An Optical Bus Computer Cluster with a deferred cache coherence protocol
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shibayama, S.; Hamaguchi, K.; Fukui, T.; Sudo, Y.; Shimoyama, T.; Nakamura, S.
Year: 1996
Fast sorting algorithms on reconfigurable array of processors with optical buses
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hamdi, M.; Tong, J.; Kin, C.W.
Year: 1996
Programming concurrency and synchronisation in Actel
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Abdelouahab, Z.; Dew, P.M.
Year: 1996
Modeling and analysis of channel transferability in mobile computing environments
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Prakash, R.; Singhal, M.
Year: 1996
A wireless multiple access control protocol for voice-data integration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Liang-Seng Koh; Liu, M.T.
Year: 1996
Connection rerouting strategy applicable to various connection-oriented mobile communication networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Minho Song; Yanghee Choi; Chongsang Kim
Year: 1996
A new scheduling strategy for NUMA multiprocessor systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Guan-Joe Lai; Cheng Chen
Year: 1996
Swapped networks: unifying the architectures and algorithms of a wide class of hierarchical parallel processors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chi-Hsiang Yeh; Parhami, B.
Year: 1996
An efficient asynchronous data transmission mechanism for data parallel languages
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Xiaojie Li; Harada, K.
Year: 1996
An alternative addressing scheme for conventional CDMA fiber-optic networks allows interesting parallel processing capabilities
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wexelblat, P.M.
Year: 1996
Deadlock-free routing in an optical interconnect for high-speed wormhole routing networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Palnati, P.; Gerla, M.; Leonardi, E.
Year: 1996
Multimedia task reliability analysis based on token ring network
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, D.J.; Chang, M.S.; Yang, C.I.; Kuo-Lung Ku
Year: 1996
PPD: A practical parallel loop detector for parallelizing compilers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cheng-Tien Wu; Chao-Tung Yang; Shian-Shyong Tseng
Year: 1996
Program dependence analysis of concurrent logic programs and its applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zhao, J.; Cheng, J.; Ushijima, K.
Year: 1996
Expressing concurrency in Griffin
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Afshartous, N.; Harrison, M.C.
Year: 1996
Fault-tolerant causal delivery in group communication
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shima, K.; Higaki, H.; Takizawa, M.
Year: 1996
Distributed fault detection in communication protocols using extended finite state machines
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vijayananda, K.
Year: 1996
A flexible protocol synthesis method for adopting requirement changes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bahadur Bista, B.; Takahashi, K.; Kaminaga, H.; Shiratori, N.
Year: 1996
Soft resource reservation: A flexible guarantee of QoS
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chakraborty, G.; Shiratori, N.
Year: 1996
Register renaming for x86 superscalar design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chang-Chung Liu; R-Ming Shiu; Chung-Ping Chung
Year: 1996
Scheduling of conditional branches using SSA form for superscalar/VLIW processors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Seong-Uk Choi; Sung-Soon Park; Myong-Soon Park
Year: 1996
Exploiting the locality of data structures in multithreaded architecture
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yoon Ho Kim; Soo Hong Kim; Dae Woong Rhee; Heung Hwan Kim; Juno Chang; Sang Youg Han
Year: 1996
Efficient fault protection of block gradient-based adaptive filters
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Liangkung Lin; Redinbo, G.R.
Year: 1996
Communication protocol for group of distributed objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tachikawa, T.; Takizawa, M.
Year: 1996
A high performance reliable atomic group protocol
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jia, W.; Cao, J.; Nett, E.; Kaiser, J.
Year: 1996
Extended group communication algorithm for updating distributed programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Higaki, H.
Year: 1996
Fault-tolerant routing strategy using routing capability in hypercube multicomputers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ge-Ming Chiu; Kai-Shung Chen
Year: 1996
Adaptive routing in k-ary n-cube multicomputers
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yang, C.S.; Tsai, Y.M.; Tsai, Y.L.
Year: 1996
Roll-forward error recovery in embedded real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jie Xu; Randell, B.
Year: 1996
Allowing cycle-stealing direct memory access I/O concurrent with hard-real-time programs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tai-Yi Huang; Liu, J.W.-S.; Jen-Yao Chung
Year: 1996
Benchmarking IBM SP1 system for SPMD programming
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wentong Cai; Hang, A.; Varman, P.
Year: 1996
Distributed checkpointing based on influential messages
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tanaka, K.; Takizawa, M.
Year: 1996
Performance of scheduling strategies for client-server systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Majumdar, S.; Phillips, T.
Year: 1996
Mapping asynchronous parallel simulation on a network of workstations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Seng Chuan Tay; Yong Meng Teo
Year: 1996
Two-level-hierarchies of objects: a unit of reference for distributed object-oriented databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Patsouris, P.A.
Year: 1996
A management information repository for distributed applications management
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Martin, P.
Year: 1996
Distribution transparent MIB based on MSA (Management System Agent) model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nishiyama, S.; Ono, C.; Obana, S.; Suzuki, K.
Year: 1996
Fast parallel chessboard distance transform algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yu-Hua Lee; Shi-Jinn Horng
Year: 1996
On parallelism of hyper-linking theorem proving: a preliminary report
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chih-Hung Wu; Shie-Jue Lee
Year: 1996
Scalable routing schemes for massively parallel processing using reconfigurable optical interconnect
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yip, S.M.P.; Bambos, N.
Year: 1996
RDB structure chart display using fuzzy rules
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tsuhara, S.
Year: 1996
An optimal deadlock resolution algorithm in multidatabase systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Xuemin Lin; Jian Chen
Year: 1996
Relaxed consistency requirements for replicated objects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Manhoi Choy
Year: 1996
Fault-tolerant distributed match-making with weights
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nakajima, A.
Year: 1996
A distributed algorithm for implementation of first-order multiparty interactions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cheng, Z.; Huang, T.; Shiratori, N.
Year: 1996
Author index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
Design of a small, cheap UUV for under-ship inspection and salvage
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Miller, D.P.
Year: 1996
Autonomous operation of the Explosive Ordnance Disposal Robotic Work Package using the CETUS untethered underwater vehicle
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Trimble, G.M.
Year: 1996
Miniaturized and reconfigurable instrumentation for multipurpose survey with a Mini Autonomous Underwater Vehicle MAUVE-project
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Carof, A.
Year: 1996
Exploration of Mono Lake with an ROV: a prototype experiment for the MAPS AUV program
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Stoker, C.R.; Barch, D.; Farmer, J.; Flagg, M.; Healy, T.; Tengdin, T.; Thomas, H.; Schwer, K.; Stakes, D.
Year: 1996
Autonomous legged underwater vehicles for near land warfare
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Greiner, H.; Shectman, A.; Chikyung Won; Elsley, R.; Beith, P.
Year: 1996
Pectoral fin model for maneuver of underwater vehicles
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kato, N.; Furushima, M.
Year: 1996
Control surface and actuator design for a low drag, laminar flow AUV
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Merry, S.L.; Large, M.J.; Whitten, T.J.; Wilkinson, M.R.; Babb, R.J.
Year: 1996
Local area navigation using sonar feature extraction and model based predictive control
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marco, D.B.; Healey, A.J.
Year: 1996
Non-linear controller with switched control law for tracking control of non-cruising AUV
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lam, W.-C.; Ura, T.
Year: 1996
Gradient search with autonomous underwater vehicles using scalar measurements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Burian, E.; Yoerger, D.; Bradley, A.; Singh, H.
Year: 1996
NPS Phoenix AUV software integration and in-water testing
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brutzman, D.; Burns, M.; Campbell, M.; Davis, D.; Healey, T.; Holden, M.; Leonhardt, B.; Marco, D.; McClarin, D.; McGhee, B.; Whalen, R.
Year: 1996
A survey and experimental study of neural network AUV control
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lorentz, J.; Yuh, J.
Year: 1996
Performance results of a fuzzy behavioral altitude flight controller and rendezvous and docking of an autonomous underwater vehicles with fuzzy control
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:White, K.A.; Smith, S.M.; Ganesan, K.; Kronen, D.; Rae, G.J.S.; Langenbach, R.M.
Year: 1996
Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Healey, A.J.; Marco, D.B.; Oliveira, P.; Pascoal, A.; Silva, V.; Silvestre, C.
Year: 1996
Exploratory development minehunting sensors for unmanned vehicles
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Castelin, S.F.; Manning, R.A.; Robertson, C.J.; Tubridy, L.J.; Bernstein, P.J.
Year: 1996
Sensors for a forward-looking high resolution AUV sonar
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nussbaum, F.; Stevens, G.T.; Kelly, J.G.
Year: 1996
Electronically steered and focused forward-looking scan sonar
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:LeBlanc, L.R.; Cuschieri, J.M.; Singer, M.R.; Beaujean, P.-P.J.
Year: 1996
A side scan sonar system for autonomous underwater vehicles
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Glynn, J.M.; Buffman, M.
Year: 1996
Multi-frequency shift key and differential phase shift key for acoustic modem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:LeBlanc, L.R.; Beaujean, P.-P.
Year: 1996
Multi-sensor data fusion for seafloor mapping and ordnance location
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wright, J.; Scott, K.; Tien-Hsin Chao; Lau, B.; Lathrop, J.; McCormick, J.
Year: 1996
Significance of envelope detection in underwater acoustic imaging systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Trucco, A.; Murino, V.
Year: 1996
Subspace stability in high resolution direction finding and signal enumeration
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kotanchek, M.E.; Dzielski, J.E.
Year: 1996
Development and validation of the Texas A&M University autonomous underwater vehicle controller
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nelson, E.; McClaran, S.; Barnett, D.; McDermott, M.; Williams, G.
Year: 1996
A pragmatic software architecture for UUVs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ganesan, K.; Smith, S.M.; White, K.; Flanigan, T.
Year: 1996
A general control architecture for multiple AUVs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Borges Sousa, J.; Lobo Pereira, F.; Pereira da Silva, E.
Year: 1996
Architecture of the Texas A&M Autonomous Underwater Vehicle Controller
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Barnett, D.; McClaran, S.; Nelson, E.; McDermott, M.; Williams, G.
Year: 1996
Architecture for an autonomous reconfigurable intelligent control system (ARICS)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yavnai, A.
Year: 1996
New experimental results on GPS/INS navigation for Ocean Voyager II AUV
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:An, P.E.; Healey, A.J.; Smith, S.M.; Dunn, S.E.
Year: 1996
The development of an integrated GPS/INS/sonar navigation system for autonomous underwater vehicle navigation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bennamoun, M.; Boashash, B.; Faruqi, F.; Dunbar, M.
Year: 1996
A precision navigation system for autonomous undersea vehicles
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:White, D.G.; Psota, F.
Year: 1996
Evaluation of an integrated GPS/INS system for shallow-water AUV navigation (SANS)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bachmann, E.R.; McGhee, R.B.; Whalen, R.H.; Steven, R.; Walker, R.G.; Clynch, J.R.; Healey, A.J.; Yun, X.P.
Year: 1996
Determination and influence of the main parameters for the launch and recovery of an unmanned underwater vehicle from a submarine
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chapuis, D.; Deltheil, C.; Leandri, D.
Year: 1996
Video mosaicking along arbitrary vehicle paths
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fleischer, S.D.; Wang, H.H.; Rock, S.M.; Lee, M.J.
Year: 1996
Clustering and feature extraction in a 3D real-time echo management framework
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Auran, P.G.; Malvig, K.E.
Year: 1996
Mosaicking of the ocean floor in the presence of three-dimensional occlusions in visual and side-scan sonar images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tiwari, S.
Year: 1996
Sonar image interpretation and modelling
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Russell, G.T.; Bell, J.M.; Holt, P.O.; Clarke, S.J.
Year: 1996
Study of aperture area reduction and resolution improvement of underwater ultrasonic imaging system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sheng-Wen Cheng; Min-Kang Chao
Year: 1996
An integrated environment for fast development and performance assessment of sonar image processing algorithms - SSIE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Henriksen, L.
Year: 1996
Detecting linear motion of an object in a sequence of monocular underwater images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lagstad, P.
Year: 1996
Acoustic video-signal transmission system for autonomous underwater vehicle
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kojima, J.; Shirasaki, Y.
Year: 1996
A color texture based visual monitoring system for automated surveillance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Paschos, G.; Valavanis, K.P.
Year: 1996
AUV test using real/virtual synthetic world
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kuroda, Y.; Aramaki, K.; Ura, T.
Year: 1996
A simplified dynamics model for autonomous underwater vehicles
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nahon, M.
Year: 1996
Visualization for AUV non-traditional navigation algorithm development
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tuohy, S.T.; Bruening, D.; Patrikalakis, N.M.
Year: 1996
Optimizing AUV oceanographic surveys
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bellingham, J.G.; Willcox, J.S.
Year: 1996
AUV system requirements for coastal oceanography
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lobo Pereira, F.; Borges Sousa, J.; Gil Martins, C.; Pereira da Silva, E.
Year: 1996
Organization and reorganization of autonomous oceanographic sampling networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Turner, R.M.; Turner, E.H.; Blidberg, D.R.
Year: 1996
Turbulence and optics sampling from an autonomous underwater vehicle
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Levine, E.R.; Lueck, R.G.; Donaghay, P.L.; Conners, D.N.; Gagliardi, T.; Hanson, R.C.; Shell, R.R.
Year: 1996
Ocean flow measurement using an autonomous underwater vehicle
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Holappa, K.; Dhanak, M.; Smith, S.; An, E.
Year: 1996
Validation of the installation of CTD sensors on an AUV
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bales, J.W.
Year: 1996
Development efforts in rechargeable batteries for underwater vehicles
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Smith, P.H.; James, S.D.; Keller, P.B.
Year: 1996
High energy density permanent magnetic motors for underwater systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Krol, W.P., Jr.; Cho, C.P.
Year: 1996
Solid lithium hydride as a hydrogen source for fuel cells
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pitcher, G.K.
Year: 1996
Experiments in the hydrodynamic modeling of an underwater manipulator
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McLain, T.W.; Rock, S.M.
Year: 1996
Geometric methods for robust stabilization of autonomous underwater vehicles
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Leonard, N.E.
Year: 1996
A motion planning method for an AUV
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Arinaga, S.; Nakajima, S.; Okabe, H.; Ono, A.; Kanayama, Y.
Year: 1996
Control of an autonomous underwater vehicle testbed using fuzzy logic and genetic algorithms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Guo, J.; Huang, S.H.
Year: 1996
Author index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
The optimal control of a flexible hull robotic undersea vehicle propelled by an oscillating foil
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Barrett, D.; Grosenbaugh, M.; Triantafyllou, M.
Year: 1996
Autonomous underwater vehicle AQUA EXPLORER 1000 for inspection of underwater cables
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Asakawa, K.; Kojima, J.; Ito, Y.; Takagi, S.; Shirasaki, Y.; Kato, N.
Year: 1996
High resolution array signal processing for AUVs
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Medeiros, M.R.; Carpenter, R.N.
Year: 1996
Conditional sequencing for land, space and sea
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gat, E.
Year: 1996
A class of flexible and efficient key management protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Boyd, C.
Year: 1996
An immunological approach to change detection: theoretical results
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:D'haeseleer, P.
Year: 1996
Intensional specifications of security protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Roscoe, A.W.
Year: 1996
Narrowing terminates for encryption
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Millen, J.K.; Hai-Ping Ko
Year: 1996
Language generation and verification in the NRL protocol analyzer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Meadows, C.
Year: 1996
A HOL extension of GNY for automatically analyzing cryptographic protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Brackin, S.H.
Year: 1996
E-commerce payment protocols: requirements and analysis
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zaba, S.
Year: 1996
A logic of composition for information flow predicates
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Peri, R.V.; Wulf, W.A.; Kienzle, D.M.
Year: 1996
How and why feedback composition fails [secure systems]
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zakinthinos, A.; Lee, E.S.
Year: 1996
Action systems for security specification
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sinclair, J.
Year: 1996
Comparing two information flow security properties
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Focardi, R.
Year: 1996
Specifying a security policy: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cuppens, F.; Saurel, C.
Year: 1996
A formal model for role-based access control with constraints
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Giuri, L.; Iglio, P.
Year: 1996
The non-primitiveness of the simple-security property and its non-applicability to relational databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Spalka, A.
Year: 1996
A Genealogy of Non-Interference
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ryan, P.Y.A.
Year: 1996
Some new attacks upon security protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lowe, G.
Year: 1996
Simmons' protocol is not free of subliminal channels
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Desmedt, Y.
Year: 1996
Towards a model of storage jamming
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McDermott, J.; Goldschlag, D.
Year: 1996
Panel: What is an attack on a cryptographic protocol?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:P. Syverson
Year: 1996
Index of authors
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
Data mining: machine learning, statistics, and databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mannila, H.
Year: 1996
Censoring statistical tables to protect sensitive information: easy and hard problems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Malvestuto, F.M.; Moscarini, M.
Year: 1996
A data structure for representing aggregate data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bezenchek, A.; Rafanelli, M.; Tininini, L.
Year: 1996
Statistical dependencies
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cotofrei, P.; Luchian, H.
Year: 1996
Astronomical tables, 2-D indexing, and fuzzy-joins
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Page, C.G.
Year: 1996
Sequence matching of images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yazdani, N.; Ozsoyoglu, Z.M.
Year: 1996
Approximate query answering in numerical databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hachem, N.; Chenye Bao; Taylor, S.
Year: 1996
FROG and TURTLE: visual bridges between files and object-oriented data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Anjur, V.; Ioannidis, Y.E.; Livny, M.
Year: 1996
A scientific multimedia database system for polymer science experiments
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lee, T.; Bozkaya, T.; Kuo, H.-C.; Ozsoyoglu, G.; Ozsoyoglu, Z.M.
Year: 1996
Persistent array access using server-directed I/O
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Seamons, K.E.; Chen, Y.; Winslett, M.; Cho, Y.; Kuo, S.; Subramaniam, M.
Year: 1996
Extendible arrays for statistical databases and OLAP applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rotem, D.; Zhao, J.L.
Year: 1996
Optimizing statistical queries by exploiting orthogonality and interval properties of grouping relations
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chang Li; Wang, X.S.
Year: 1996
Practical problems of implementing metadata standards in official statistics
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Olenski, J.
Year: 1996
Design principles for a unified statistical data/metadata system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gillman, D.W.; Appel, M.V.; LaPlant, W.P., Jr.
Year: 1996
Quality aspects of a modern database service
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dean, P.; Sundgren, B.
Year: 1996
What clinical database management system does the NHS need?
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lewis, P.
Year: 1996
Conceptual data model with structured objects for statistical databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:de Giacomo, G.; Naggar, P.
Year: 1996
Using the functional data model to integrate distributed biological data sources
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kemp, G.J.L.; Dupont, J.; Gray, P.M.D.
Year: 1996
Reuse of high-level information requests: leveraging the investment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Washburn, G.A.; Delcambre, L.M.L.; Whiting, M.A.
Year: 1996
Extracting and providing knowledge within an object-centered scientific information system for atmospheric research
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kapetanios, E.
Year: 1996
Requirements and design of replication services for a time series management system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dreyer, W.; Schmidt, D.; Dittrich, A.K.; Bleichenbacher, M.
Year: 1996
The design and implementation of a database for human genome research
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sargent, R.; Fuhrman, D.; Critchlow, T.; Di Sera, T.; Mecklenburg, R.; Lindstrom, G.; Cartwright, P.
Year: 1996
Data and information architectures for large-scale distributed data intensive information systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kerschberg, L.; Gomaa, H.; Menasce, D.; Jong Pil Yoon
Year: 1996
Characterization of temporal sequences in geophysical databases
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shoshani, A.; Holland, P.; Jacobsen, J.; Mitra, D.
Year: 1996
Computational indexes for time series
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Falkenroth, E.
Year: 1996
Efficient temporal join processing using time index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Daeweon Son; Elmasri, R.
Year: 1996
Author index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
A node as a real-time object
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kopetz, H.; Poledna, S.
Year: 1996
A logic-based requirements language for the specification and analysis of real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tsai, J.J.P.; Weigert, T.
Year: 1996
Real time formal specification using VDM/sup ++/
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:van Katwijk, J.; Durr, E.; Goldsack, S.
Year: 1996
Schedulability and safety analysis in the graphical communicating shared resources
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ben-Abdallah, H.; Young Si Kim; Lee, I.
Year: 1996
Paths: programming with system resources in support of real-time distributed applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Travostino, F.; Menze, E.; Reynolds, F.
Year: 1996
A client-server approach to DCE inter-operability
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hurley, P.M.; Stedman, T.A.
Year: 1996
Implementation of a transparent RPC for distributed object-oriented systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:van Roosmalen, O.S.; Lemmens, W.J.M.
Year: 1996
The DREAM library support for PCD and RTO.k programming in C++
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kim, K.H.; Subbaraman, C.; Kim, Y.
Year: 1996
TaskPair-scheduling with optimistic case execution times-an example for an adaptive real-time system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gergeleit, M.; Streich, H.
Year: 1996
Adaptive software fault tolerance policies with dynamic real-time guarantees
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Nett, E.; Streich, H.; Bizzarri, P.; Bondavalli, A.; Tarini, F.
Year: 1996
Toward dependable safety-critical software
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bastani, F.; Cukic, B.; Hilford, V.; Jamoussi, A.
Year: 1996
Ada95 object-oriented and real-time support for development of software fault tolerance reusable components
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shokri, E.H.; Tso, K.S.
Year: 1996
Multiple invariant system design for fault-tolerant real-time applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yen, I.-L.
Year: 1996
QoS issues for wide-area CORBA-based object systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bakken, D.E.; Schantz, R.E.; Zinky, J.A.
Year: 1996
Position paper: resource management for complex distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Davis, M.B.; Sydir, J.J.
Year: 1996
Object-oriented programming of complex fault-tolerant real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moser, L.E.; Narasimhan, P.; Melliar-Smith, P.M.
Year: 1996
Operating system structure model for real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kamiuchi, T.; Nakanishi, H.; Hayashi, K.
Year: 1996
Failure notifications: a useful extension to the object programming model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Thomas, V.
Year: 1996
Integration of formal verification with real-time design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Krasovec, G.; Shankar, N.; Ward, P.
Year: 1996
Specification and analysis of real-time systems in Statecharts
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sung Deok Cha; Hyoung Seok Hong
Year: 1996
An analytical approach to change for the design of reusable real-time software
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hoover, C.L.; Khosla, P.K.
Year: 1996
System development based on a real-time object model
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Seung-Min Yang; Tae-Myung Yoon; Moon Hae Kim; Byoung-Joon Min; Jung-Guk Kim; Shin Heu
Year: 1996
Object-oriented software development with fault tolerance for distributed real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yau, S.S.; Wang, J.; Kim, J.-W.
Year: 1996
Position paper: real-time is a critical feature for CORBA, just like everything else
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Soley, R.M.
Year: 1996
CORBA technology for cross-domain interoperability in embedded military systems, and issues in its use
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Allen, D.
Year: 1996
Real-time programming in the concurrent object-oriented language TAO
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mitchell, S.E.; Wellings, A.J.
Year: 1996
On real-time extensions to object request brokers: a panel position paper
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Thuraisingham, B.; Krupp, P.; Wolfe, V.
Year: 1996
Using object frameworks to enable real-time and dependability in a modular operating system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Wells, D.M.
Year: 1996
An object-based model for dependable real-time distributed systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen, Y.-J.; Mosse, D.; Chang, S.-K.
Year: 1996
Object-oriented implementation of an infrastructure and data manager for real-time command and control systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bensley, E.; Krupp, P.; Sigel, R.A.; Squadrito, M.; Thuraisingham, B.; Wheeler, T.
Year: 1996
Object-oriented method for real-time systems based on timed automaton
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Yamane, S.
Year: 1996
Design and optimization of complex real-time dependable systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shi, L.; Hwang, P.Q.
Year: 1996
Fault-tolerant real-time synchronous collaboration environment using WWW
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Soamyung Park; Insook Chung; Geonyou Jo; Sunyoung Han; Kwan-Ho Song
Year: 1996
A simulation study of real-time MPEG traffic using forward error control scheme
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Hu, L. C.; Lin, K.-J.
Year: 1996
Author index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
Putting fixed priority scheduling theory into engineering practice for safety critical applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Audsley, N.C.; Bate, I.J.; Burns, A.
Year: 1996
Building real-time music tools visually with Sonnet
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jameson, D.H.
Year: 1996
A robotic assembly application on the Spring real-time system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bickford, C.; Teo, M.S.; Wallace, G.; Stankovic, J.A.; Ramamritham, K.
Year: 1996
Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Conde, J.F.; Garcia-Martinez, A.; Vina, A.
Year: 1996
Supporting predictability in real-time database systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Young-Kuk Kim; Son, S.H.
Year: 1996
AIDA-based real-time fault-tolerant broadcast disks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bestavros, A.
Year: 1996
A semantic-based concurrency control protocol for real-time transactions
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ching-Shan Peng; Kwei-Jay Lin
Year: 1996
On ATM support for distributed real-time applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chia Shen
Year: 1996
The design of an open system with distributed real-time requirements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ginis, R.; Wolfe, V.F.; Prichard, J.J.
Year: 1996
A framework for simulation of concurrency control policy in real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chih Lai; Callison, H.R.
Year: 1996
Designing for evolvability: building blocks for evolvable real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gagliardi, M.; Rajkumar, R.; Lui Sha
Year: 1996
Temporal analysis and object-oriented real-time software development: a case study with ROOM/ObjecTime
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gaudreau, D.; Freedman, P.
Year: 1996
Providing message delivery guarantees in pipelined flit-buffered multiprocessor networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Balakrishnan, S.; Ozguner, F.
Year: 1996
Resource management for real-time communication: making theory meet practice
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mehra, A.; Indiresan, A.; Shin, K.G.
Year: 1996
Evaluation of wireless soft real-time protocols
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Markowski, M.J.; Sethi, A.S.
Year: 1996
CAISARTS: a tool for real-time scheduling assistance
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Humphrey, M.; Stankovic, J.A.
Year: 1996
DRTSS: a simulation framework for complex real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Storch, M.F.; Liu, J.W.-S.
Year: 1996
Supporting the specification and analysis of timing constraints
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lo Ko; Healy, C.; Ratliff, E.; Arnold, R.; Whalley, D.; Harmon, M.
Year: 1996
Scalable compositional reachability analysis of real-time concurrent systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Farn Wang
Year: 1996
Mechanical verification of timed automata: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Archer, M.; Heitmeyer, C.
Year: 1996
Adding instruction cache effect to schedulability analysis of preemptive real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Busquets-Mataix, J.V.; Serrano, J.J.; Ors, R.; Gil, P.; Wellings, A.
Year: 1996
Tutorial: real-time object-oriented modeling (ROOM)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Selic, B.
Year: 1996
Predictable communication protocol processing in real-time Mach
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen Lee; Yoshida, K.; Mercer, C.; Rajkumar, R.
Year: 1996
Efficient worst case timing analysis of data caching
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sung-Kwan Kim; Sang Lyul Min; Rhan Ha
Year: 1996
EMERALDS: a microkernel for embedded real-time systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zuberi, K.M.; Shin, K.G.
Year: 1996
RTCAST: lightweight multicast for real-time process groups
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Abdelzaher, T.; Shaikh, A.; Jahanian, F.; Shin, K.
Year: 1996
A flexible tool kit for the development of real-time applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ancilotti, P.; Buttazzo, G.; Di Natale, M.; Bizzarri, M.
Year: 1996
Author index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
A novel algorithm for classification of SPECT images of a human heart
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cios, K.J.; Goodenday, L.S.; Shah, K.K.; Serpen, G.
Year: 1996
Lossless compression of medical images using hierarchical autoregressive models
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Das, M.; Lin, C.
Year: 1996
Fault mitigation in safety-critical software systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Subramanian, S.; Elliott, L.; Vishnuvajjala, R.V.; Tsai, W.T.; Mojdehbakhsh, R.
Year: 1996
Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application]
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Vishnuvajjala, R.V.; Subramanian, S.; Wei-Tek Tsai; Elliott, L.; Mojdehbakhsh, R.
Year: 1996
Parallel beam mapping algorithm to compute radiation dose in three dimensional treatment planning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Satti, J.A.
Year: 1996
A method for automatically detecting the systole and diastole phases in sequences of angiographic images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Legrand, L.; Marzani, F.; Dusserre, L.
Year: 1996
Software validation made simple
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Remillard, A.
Year: 1996
Method engineering-a framework for improved computer based medical systems design
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kokol, P.
Year: 1996
Computer simulator of electromyographic signal
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Viher, B.; Korosec, D.; Zazula, D.
Year: 1996
The Fourier adaptive smoothness constraint for computing optical flow on sequences of angiographic images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Marzani, F.; Legrand, L.; Dusserre, L.
Year: 1996
Comparison of cepstrum based methods for radial blind deconvolution of ultrasound images
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Taxt, T.
Year: 1996
Issues in developing a communication protocol for wireless (implanted) biodevices
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Manwaring, M.L.; Jones, K.L.; Manwaring, K.H.
Year: 1996
User satisfaction surveys, what the engineer should know
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Peterson, M.G.E.
Year: 1996
Childhood obesity prediction with artificial neural networks
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Novak, B.; Bigec, M.
Year: 1996
Author index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
Deciding about syndromes with SYNFIN
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zavrsnik, J.; Kancler, K.; Zidanik, A.; Bigec, M.; Kokol, P.
Year: 1996
Table transformation tools: why and how
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Shen, H.; Zucker, J.; Parnas, D.L.
Year: 1996
Simulation vs. verification: getting the best of both worlds
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Mok, A.K.; Stuart, D.
Year: 1996
ACL2: an industrial strength version of Nqthm
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kaufmann, M.; Strother Moore, J.
Year: 1996
Comparing verification systems: interactive consistency in ACL2
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Young, W.D.
Year: 1996
Automatic verification of object code against source code
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Subramanian, S.; Cook, J.V.
Year: 1996
Industrial usage of formal development methods-the VSE-tool applied in pilot projects
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Koob, F.; Ullmann, M.; Wittmann, S.
Year: 1996
Specifying, validating, and testing a traffic management system in the TRIO environment
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Gargantini, A.; Liberati, L.; Morzenti, A.; Zacchetti, C.
Year: 1996
Feasibility of model checking software requirements: a case study
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Sreemani, T.; Atlee, J.M.
Year: 1996
Developing a translator from C programs to data flow graphs using RAISE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Haxthausen, A.E.
Year: 1996
Verification of consistency between concurrent program designs and their requirements
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chechik, M.; Gannon, J.
Year: 1996
Verifying SOS specifications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Bloom, B.; Cheng, A.; Dzouza, A.
Year: 1996
A correctness proof of a cache coherence protocol
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Felty, A.; Stomp, F.
Year: 1996
The specification of an asynchronous router
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moller, F.
Year: 1996
Safety analysis tools for requirements specifications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ratan, V.; Partridge, K.; Reese, J.; Leveson, N.
Year: 1996
Impact and the design of the human-machine interface
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Dearden, A.M.; Harrison, M.D.
Year: 1996
Object-oriented-no panacea for safety
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Meeson, R.
Year: 1996
An empirical model of the security intrusion process
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Jonsson, E.; Olovsson, T.
Year: 1996
Increasing assurance with literate programming techniques
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Moore, A.P.; Payne, C.N., Jr.
Year: 1996
A framework for composition
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Fine, T.
Year: 1996
An analysis of a secure system based on trusted components
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Lindqvist, U.; Olovsson, T.; Jonsson, E.
Year: 1996
Detecting equivalent mutants and the feasible path problem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Offutt, A.J.; Jie Pan
Year: 1996
T-VEC: a tool for developing critical systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Blackburn, M.R.; Busser, R.D.
Year: 1996
Defining an adaptive software security metric from a dynamic software failure tolerance measure
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Voas, J.; Ghosh, A.; McGraw, G.; Charron, F.; Miller, K.
Year: 1996
Author index
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
CROSS REFERENCE (Author Index)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
BEST PAPER AWARDEES
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
BEST STUDENT PAPER AWARDEES
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Year: 1996
Cockpit weather information (CWIN) system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Tu, J.C.
Year: 1996
Band selection and performance analysis for multispectral target detectors using truthed Bomem spectrometer data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kanodia, A.; Hardie, R.C.; Johnson, R.O.
Year: 1996
Low cost compact electronically scanned millimeter wave antenna
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Rausch, E.O.; Sexton, J.; Peterson, A.F.
Year: 1996
Low cost integrated modular avionics (IMA)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Schenkelberg, R.H.
Year: 1996
The installation control drawing (lCD) for commercial electronic equipment aboard military platforms
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Ernie Franke
Year: 1996
Cost effective integrated modular avionics
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:J.R. Grove; R.J. Coker
Year: 1996
Maximum likelihood estimation of point scatterers in synthetic aperture radar data
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Pepin, M.P.; Sacchini, J.J.
Year: 1996
Potential starter/generator technologies for future aerospace applications
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:M.E. Elbuluk; M.D. Kankam
Year: 1996
Real-time in-flight planning
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Leavitt, C.A.
Year: 1996
Link margin for UHF airborne satellite communications (SATCOM) operation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Franke, E.; Vaal, G.
Year: 1996
A Bayesian perspective on why the EKF fails in passive tracking
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Kramer, S.
Year: 1996
Mission planner evaluation in the mission reconfigurable cockpit
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Aust, R.
Year: 1996
A two frequency estimation technique using zero crossings [for EW receivers]
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:McCormick, W.S.
Year: 1996
Open systems-a process for achieving affordability
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Roark, C.; Kiczuk, B.
Year: 1996
Theater-Wide Reference Information Management
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Berning, S.; Howe, P.; Jenkins, T.
Year: 1996
Advances in signal processing technology for electronic warfare
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Stephens, J.P.
Year: 1996
Information fusion architectures for next generation avionics systems
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Clark, V.
Year: 1996
MMW scanning antenna
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Manasson, V.; Sadovnik, L.; Mino, R.
Year: 1996
Scheduling for sensor management using genetic search
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cone, M.L.; Musick, S.
Year: 1996
Application of wavelet packets theory in maneuver target tracking
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Cheng Hongwei; Sun Zhongkang
Year: 1996
Progress in studies on ISAR signal processing methods in NUAA
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Zhaoda Zhu
Year: 1996
Detection of spot target in infrared clutter with morphological filter
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Li JiCheng; Shen ZhengKang; Lan Tao
Year: 1996
Position location approach and accuracy analysis with two coordinate measurements in bistatic system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Liu Qi; Sun Zhongkang; Song Xiaoquan
Year: 1996
Information fusion for multiple targets tracking in bistatic system
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Authors:Chen Yongguang; Sun Zhongkang
Year: 1996


Advertisement