journals/pami/JosephP94:::Eugene Joseph::Theodosios Pavlidis:::Bar Code Waveform Recognition Using Peak Locations.
journals/pami/HochbergKTK97:::Judith Hochberg::Patrick Kelly::Timothy Thomas::Lila Kerns:::Automatic Script Identification From Document Images Using Cluster-Based Templates.
journals/pami/BelhumeurHK97:::Peter N. Belhumeur::João Hespanha::David J. Kriegman:::Eigenfaces vs. Fisherfaces: Recognition Using Class Specific Linear Projection.
journals/pami/SlavikG01:::Petr Slavík::Venu Govindaraju:::Equivalence of Different Methods for Slant and Skew Corrections in Word Recognition Applications.
journals/pami/WeberM97:::Joseph Weber::Jitendra Malik:::Rigid Body Segmentation and Shape Description from Dense Optical Flow Under Weak Perspective.
journals/pami/Rodriguez-SanchezGFF99:::Rosa Rodriguez-Sánchez::Jose A. García::Joaquín Fernández Valdivia::Xose R. Fernández Vidal:::The RGFF Representational Model: A System for the Automatically Learned Partitioning of 'Visual Patterns' in Digital Images.
journals/pami/KubeP96:::Paul Kube::Pietro Perona:::Scale-Space Properties of Quadratic Feature Detectors.
journals/pami/SastryT94:::P. Shanti Sastry::M. A. L. Thathachar:::Analysis of Stochastic Automata Algorithm for Relaxation Labeling.
journals/pami/GardnerL96:::Warren F. Gardner::Daryl T. Lawton:::Interactive Model-Based Vehicle Tracking.
journals/pami/SheuH99:::Hsin-Teng Sheu::Wu-Chih Hu:::Multiprimitive Segmentation of Planar Curves-A Two-Level Breakpoint Classification and Tuning Approach.
journals/pami/WatanabeN97:::Masahiro Watanabe::Shree K. Nayar:::Telecentric Optics for Focus Analysis.
journals/pami/Terzopoulos88:::Demetri Terzopoulos:::The Computation of Visible-Surface Representations.
journals/pami/HampshireW92:::John B. Hampshire II::Alex Waibel:::The Meta-Pi Network: Building Distributed Knowledge Representations for Robust Multisource Pattern Recognition.
journals/pami/Zhang00:::Zhengyou Zhang:::A Flexible New Technique for Camera Calibration.
journals/pami/GrenanderS01:::Ulf Grenander::Anuj Srivastava:::Probability Models for Clutter in Natural Images.
journals/pami/CypherSS89:::Robert Cypher::Jorge L. C. Sanz::L. Snyder:::An EREW PRAM Algorithm for Image Component Labeling.
journals/pami/BigunB94:::Josef Bigün::J. M. Hans du Buf:::N-folded Symmetries by Complex Moments in Gabor Space and their Application to Unsupervised Texture Segmentation.
journals/pami/ZhouD91:::Xiao-Jia M. Zhou::Tharam S. Dillon:::A Statistical-Heuristic Feature Selection Criterion for Decision Tree Induction.
journals/pami/NastarA96:::Chahab Nastar::Nicholas Ayache:::Frequency-Based Nonrigid Motion Analysis: Application to Four Dimensional Medical Images.
journals/pami/Chellappa01e:::Rama Chellappa:::Introduction of New Associate Editors.
journals/pami/FlusserS98:::Jan Flusser::Tomás Suk:::Degraded Image Analysis: An Invariant Approach.
journals/pami/Astrom95:::Kalle Åström:::Fundamental Limitations on Projective Invariants of Planar Curves.
journals/pami/BlaneLCC00:::Michael M. Blane::Zhibin Lei::Hakan Çivi::David B. Cooper:::The 3L Algorithm for Fitting Implicit Polynomial Curves and Surfaces to Data.
journals/pami/KuanPH88:::Darwin T. Kuan::Gary Phipps::A-Chuan Hsueh:::Autonomous Robotic Vehicle Road Following.
journals/pami/CowellDS93:::Robert G. Cowell::A. Philip Dawid::David J. Spiegelhalter:::Sequential Model Criticism in Probabilistic Expert Systems.
journals/pami/SastryRR95:::Raghu Sastry::N. Ranganathan::Klinton Remedios:::CASM: A VLSI Chip for Approximate String Matching.
journals/pami/FerraroBC99:::Mario Ferraro::Giuseppe Boccignone::Terry Caelli:::On the Representation of Image Structures via Scale Space Entropy Conditions.
journals/pami/OlafssonA88:::Sverrir Olafsson::Yaser S. Abu-Mostafa:::The Capacity of Multilevel Threshold Functions.
journals/pami/BimboP97:::Alberto Del Bimbo::Pietro Pala:::Visual Image Retrieval by Elastic Matching of User Sketches.
journals/pami/LifshitzP90:::Lawrence M. Lifshitz::Stephen M. Pizer:::A Multiresolution Hierarchical Approach to Image Segmentation Based on Intensity Extrema.
journals/pami/TaubinCSPK94:::Gabriel Taubin::Fernando Cukierman::Steve Sullivan::Jean Ponce::David J. Kriegman:::Parameterized Families of Polynomials for Bounded Algebraic Curve and Surface Fitting.
journals/pami/SiddiqiK95:::Kaleem Siddiqi::Benjamin B. Kimia:::Parts of Visual Form: Computational Aspects.
journals/pami/LindenbaumB93:::Michael Lindenbaum::Alfred M. Bruckstein:::On Recursive, O(N) Partitioning of a Digitized Curve into Digital Straight Segments.
journals/pami/LindenbaumK91:::Michael Lindenbaum::Jack Koplowitz:::A New Parameterization of Digital Straight Lines.
journals/pami/WeissR01:::Isaac Weiss::Manjit Ray:::Model-Based Recognition of 3D Objects from Single Images.
journals/pami/RichardsonS91:::Craig H. Richardson::Ronald W. Schafer:::A Lower Bound for Structuring Element Decompositions.
journals/pami/DutaJD01:::Nicolae Duta::Anil K. Jain::Marie-Pierre Dubuisson-Jolly:::Automatic Construction of 2D Shape Models.
journals/pami/LuccheseDC02:::Luca Lucchese::Gianfranco Doretto::Guido M. Cortelazzo:::A Frequency Domain Technique for Range Data Registration.
journals/pami/GregorT93:::Jens Gregor::Michael G. Thomason:::Dynamic Programming Alignment of Sequences Representing Cyclic Patterns.
journals/pami/BelongieMP02:::Serge Belongie::Jitendra Malik::Jan Puzicha:::Shape Matching and Object Recognition Using Shape Contexts.
journals/pami/Tistarelli96:::Massimo Tistarelli:::Multiple Constraints to Compute Optical Flow.
journals/pami/SuperK97:::Boaz J. Super::William N. Klarquist:::Patch-Based Stereo in a General Binocular Viewing Geometry.
journals/pami/HashlamounVS94:::W. A. Hashlamoun::P. K. Varshney::V. N. S. Samarasooriya:::A Tight Upper Bound on the Bayesian Probability of Error.
journals/pami/GrossoT95a:::Enrico Grosso::Massimo Tistarelli:::Active/Dynamic Stereo Vision.
journals/pami/Tanimoto89b:::Steven L. Tanimoto:::Editor's Notice.
journals/pami/GeigerLK03:::Davi Geiger::Tyng-Luh Liu::Robert Kohn:::Representation and Self-Similarity of Shapes.
journals/pami/FigueiredoJ02:::Mário A. T. Figueiredo::Anil K. Jain:::Unsupervised Learning of Finite Mixture Models.
journals/pami/BinfordL03:::Thomas O. Binford::Tod S. Levitt:::Evidential Reasoning for Object Recognition.
journals/pami/SaitoC90:::Naoki Saito::M. A. Cunningham:::Generalized E-filter and Its Application to Edge Detection.
journals/pami/JohnsonWHC91:::Valen E. Johnson::Wing Hung Wong::Xiaoping Hu::Chin-Tu Chen:::Image Restoration Using Gibbs Priors: Boundary Modeling, Treatment of Blurring, and Selection of Hyperparameter.
journals/pami/ZhuangWZ92:::Xinhua Zhuang::Tao Wang::Peng Zhang:::A Highly Robust Estimator Through Partially Likelihood Function Modeling and Its Application in Computer Vision.
journals/pami/KabanG01:::Ata Kaban::Mark Girolami:::A Combined Latent Class and Trait Model for the Analysis and Visualization of Discrete Data.
journals/pami/SiddiqiK95a:::Kaleem Siddiqi::Benjamin B. Kimia:::Corrections to 'Parts of Visual Form: Computational Aspects'.
journals/pami/ShimshoniP97:::Ilan Shimshoni::Jean Ponce:::Finite-Resolution Aspect Graphs of Polyhedral Objects.
journals/pami/WengHA89:::Juyang Weng::Thomas S. Huang::Narendra Ahuja:::Motion and Structure From Two Perspective Views: Algorithms, Error Analysis, and Error Estimation.
journals/pami/GoldgofHL89:::Dmitry B. Goldgof::Thomas S. Huang::Hua Lee:::A Curvature-Based Approach to Terrain Recognition.
journals/pami/Fleck92:::Margaret M. Fleck:::Some Defects in Finite-Difference Edge Finders.
journals/pami/JohnsonH99:::Andrew E. Johnson::Martial Hebert:::Using Spin Images for Efficient Object Recognition in Cluttered 3D Scenes.
journals/pami/FaberS88:::Tracy L. Faber::Ernest M. Stokely:::Orientation of 3-D Structures in Medical Images.
journals/pami/MulderMH88:::Jan A. Mulder::Alan K. Mackworth::William S. Havens:::Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach.
journals/pami/BouchaffraGS99:::Djamel Bouchaffra::Venu Govindaraju::Sargur N. Srihari:::A Methodology for Mapping Scores to Probabilities.
journals/pami/TitsiasL03:::Michalis K. Titsias::Aristidis Likas:::Class Conditional Density Estimation Using Mixtures with Constrained Component Sharing.
journals/pami/TinoN02:::Peter Tino::Ian Nabney:::Hierarchical GTM: Constructing Localized Nonlinear Projection Manifolds in a Principled Way.
journals/pami/BorgeforsRB01:::Gunilla Borgefors::Giuliana Ramella::Gabriella Sanniti di Baja:::Hierarchical Decomposition of Multiscale Skeletons.
journals/pami/SalzbergDHK95:::Steven Salzberg::Arthur L. Delcher::David G. Heath::Simon Kasif:::Best-Case Results for Nearest-Neighbor Learning.
journals/pami/MonteilB99:::Jérôme Monteil::Azeddine Beghdadi:::A New Interpretation and improvement of the Nonlinear Anisotropic Diffusion for Image Enhancement.
journals/pami/SandsG90:::O. S. Sands::F. D. Garber:::Pattern Representations and Syntactic Classification of Radar Measurements of Commercial Aircraft.
journals/pami/GurwitzO89:::Chaya Gurwitz::Michael L. Overton:::A Globally Convergent Algorithm for Minimizing Over the Rotation Group of Quadratic Forms.
journals/pami/KumarD96:::V. P. Kumar::U. B. Desai:::Image Interpretation Using Bayesian Networks.
journals/pami/KumarK89:::Viktor K. Prasanna::Venkatesh Krishnan:::Efficient Parallel Algorithms for Image Template Matching on Hypercube SIMD Machines.
journals/pami/ZhangM90:::Jun Zhang::James W. Modestino:::A Model-Fitting Approach to Cluster Validation with Application to Stochastic Model-Based Image Segmentation.
journals/pami/VemuriG00:::Baba C. Vemuri::Yanlin Guo:::Snake Pedals: Compact and Versatile Geometric Models with Physics-Based Control.
journals/pami/VemuriM93:::Baba C. Vemuri::Ravi Malladi:::Constructing Intrinsic Parameters with Active Models for Invariant Surface Reconstruction.
journals/pami/Bowyer00d:::Kevin W. Bowyer:::New Associate Editor Joins Editorial Board.
journals/pami/Bowyer99a:::Kevin W. Bowyer:::Associate Editors Join PAMI.
journals/pami/ShpitalniL96:::Moshe Shpitalni::Hod Lipson:::Identification of Faces in a 2D Line Drawing Projection of a Wireframe Object.
journals/pami/GrayKT94:::A. J. Gray::Jim Kay::D. M. Titterington:::An Empirical Study of the Simulation of Various Models used for Images.
journals/pami/SheyninT03:::Stanislav Sheynin::Alexander Tuzikov:::Moment Computation for Objects with Spline Curve Boundary.
journals/pami/NeriS96:::Filippo Neri::Lorenza Saitta:::Exploring the Power of Genetic Search in Learning Symbolic Classifiers.
journals/pami/VasilevskiyS02:::Alexander Vasilevskiy::Kaleem Siddiqi:::Flux Maximizing Geometric Flows.
journals/pami/BlosteinH99:::Dorothea Blostein::Lippold Haken:::Using Diagram Generation Software to Improve Diagram Recognition: A Case Study of Music Notation.
journals/pami/GoodrichMO99:::Michael T. Goodrich::Joseph S. B. Mitchell::Mark W. Orletsky:::Approximate Geometric Pattern Matching Under Rigid Motions.
journals/pami/HuangS95:::Yea S. Huang::Ching Y. Suen:::A Method of Combining Multiple Experts for the Recognition of Unconstrained Handwritten Numerals.
journals/pami/MadsenC97:::Claus B. Madsen::Henrik I. Christensen:::A Viewpoint Planning Strategy for Determining True Angles on Polyhedral Objects by Camera Alignment.
journals/pami/AdjouadiC94:::Malek Adjouadi::Frank M. Candocia:::A Stereo Matching Paradigm Based on the Walsh Transformation.
journals/pami/ZoeterH03:::Onno Zoeter::Tom Heskes:::Hierarchical Visualization of Time-Series Data Using Switching Linear Dynamical Systems.
journals/pami/OGorman96:::Lawrence O'Gorman:::Subpixel Precision of Straight-Edged Shapes for Registration and Measurement.
journals/pami/SwetsW96:::Daniel L. Swets::Juyang Weng:::Using Discriminant Eigenfeatures for Image Retrieval.
journals/pami/FuntD93:::Brian V. Funt::Mark S. Drew:::Color Space Analysis of Mutual Illumination.
journals/pami/WheelerI95:::Mark D. Wheeler::Katsushi Ikeuchi:::Sensor Modeling, Probabilistic Hypothesis Generation, and Robust Localization for Object Recognition.
journals/pami/DoraiJ97a:::Chitra Dorai::Anil K. Jain:::Shape Spectrum Based View Grouping and Matching of 3D Free-Form Objects.
journals/pami/TaylorK95:::Camillo J. Taylor::David J. Kriegman:::Structure and Motion from Line Segments in Multiple Images.
journals/pami/OmachiIA01:::Shin'ichiro Omachi::Masaki Inoue::Hirotomo Aso:::Structure Extraction from Decorated Characters Using Multiscale Images.
journals/pami/AhmedW02:::Maher Ahmed::Rabab K. Ward:::A Rotation Invariant Rule-Based Thinning Algorithm for Character Recognition.
journals/pami/BealJA03:::Matthew J. Beal::Nebojsa Jojic::Hagai Attias:::A Graphical Model for Audiovisual Object Tracking.
journals/pami/SinhaG90:::Divyendu Sinha::Charles R. Giardina:::Discrete Black and White Object Recognition via Morphological Functions.
journals/pami/GongH91:::Yifan Gong::Jean Paul Haton:::Signal-to-String Conversion Based on High Likelihood Regions Using Embedded Dynamic Programming.
journals/pami/OthmanA03:::H. Othman::Tyseer Aboulnasr:::A Separable Low Complexity 2D HMM with Application to Face Recognition.
journals/pami/GoriS98:::Marco Gori::Franco Scarselli:::Are Multilayer Perceptrons Adequate for Pattern Recognition and Verification?
journals/pami/RathaKCJ96:::Nalini K. Ratha::Kalle Karu::Shaoyun Chen::Anil K. Jain:::A Real-Time Matching System for Large Fingerprint Databases.
journals/pami/CarsonBGM02:::Chad Carson::Serge Belongie::Hayit Greenspan::Jitendra Malik:::Blobworld: Image Segmentation Using Expectation-Maximization and Its Application to Image Querying.
journals/pami/CordellaB89:::Luigi P. Cordella::Gabriella Sanniti di Baja:::Geometric Properties of the Union of Maximal Neighborhoods.
journals/pdln/TorruellaMA01:::Montserrat Civit Torruella::Irene Castellón Masalles::M. Antònia Martí Antonin:::Creación, etiquetación y desambiguación de un corpus de referencia del español.
journals/pdln/NavarroMM01:::Borja Navarro::Patricio Martínez-Barco::Rafael Muñoz:::Propuesta de un espacio de accesibilidad anafórica estructural para textos HTML.
journals/pdln/MorenoRG01:::José Luis Aguirre Moreno::Nuria Andión Rodríguez::Xavier Gómez Guinovar:::Aspectos ortográficos, léxicos y morfosintácticos del etiquetado lingüístico de un corpus de informática en lengua gallega.
journals/pdln/AceroAEHL01:::Ignacio Acero::Matías Alcojor::Alberto Díaz Esteban::José María Gómez Hidalgo::Manuel J. Maña López:::Generación automática de familias morfológicas mediante morfología derivativa productiva Jesúersonalizados.
journals/pdln/AldezabalAAGSG01:::Izaskun Aldezabal::M. Aranzabe::A. Atutxa::Koldo Gojenola::Kepa Sarasola::Patxi Goenaga:::Extracción masiva de información sobre subcategorización verbal vasca a partir de corpus.
journals/cluster/Li03:::Keqin Li:::Parallel Processing of Divisible Loads on Partitionable Static Interconnection Networks.
journals/cluster/Foster99:::Ian T. Foster:::Editorial.
journals/cluster/WolskiSH00:::Richard Wolski::Neil T. Spring::Jim Hayes:::Predicting the CPU availability of time-shared Unix systems on the computational grid.
journals/cluster/JinH01:::Hai Jin::Kai Hwang:::Adaptive Sector Grouping to Reduce False Sharing in Distributed RAID.
journals/cluster/JueG98:::Jason P. Jue::Dipak Ghosal:::Design and analysis of a replicated server architecture for supporting IP-host mobility.
journals/cluster/RosuID01:::Daniela Rosu::Arun Iyengar::Daniel M. Dias:::Web Proxy Acceleration.
journals/cluster/DommelG99:::Hans-Peter Dommel::J. J. Garcia-Luna-Aceves:::Efficacy of floor control protocols in distributed multimedia collaboration.
journals/cluster/HongSKKS99:::James Won-Ki Hong::Young-Mi Shin::Myoung-Sup Kim::Jae-Young Kim::Young-Ho Suh:::Design and implementation of a distributed multimedia collaborative environment.
journals/cluster/LinLL99:::Leewen Lin::Chungnan Lee::Tong-Yee Lee:::Distributed volume morphing.
journals/cluster/KunzK00:::Thomas Kunz::Marc Khouzam:::Concurrent single stepping in event-visualization tools.
journals/cluster/Knafla98:::Nils Knafla:::An adaptable multithreaded prefetching technique for client-server object bases.
journals/cluster/Mingozzi02:::Enzo Mingozzi:::QoS Support by the HiperLAN/2 MAC Protocol: A Performance Evaluation.
journals/cluster/YousifM99:::Mazin S. Yousif::Andrew McNeill:::Editorial.
journals/cluster/DindaO00:::Peter A. Dinda::David R. O'Hallaron:::Host load prediction using linear models.
journals/cluster/RamanLS99:::Rajesh Raman::Miron Livny::Marvin H. Solomon:::Matchmaking: An extensible framework for distributed resource management.
journals/cluster/CohenGG01:::William E. Cohen::Rhonda Kay Gaede::W. D. Garrett:::Hardware-Assisted Characterization of NAS Benchmarks.
journals/sofo/Held01:::Gilbert Held:::Is a fiber glut on the horizon?.
journals/sofo/SheldonXPZ01:::Frederick T. Sheldon::Gaoyan Xie::Orest Pilskalns::Zhihe Zhou:::A Review of Some Rigorous Software Design and Analysis Tools.
journals/sofo/BauerM01:::Bernhard Bauer::Jörg Müller:::Software agents in mobile telecommunication services.
journals/sofo/Petitpierre00:::Claude Petitpierre:::Beyond Threads and semaphores.
journals/tecs/GrunDN03:::Peter Grun::Nikil D. Dutt::Alexandru Nicolau:::Access pattern-based memory and connectivity architecture exploration.
journals/sopr/StelzerM98:::Dirk Stelzer::Werner Mellis:::Success factors of organizational change in software process improvement.
journals/sopr/RaffoS00:::David Raffo::Walt Scacchi:::Editorial.
journals/sopr/PerryS97b:::Dewayne E. Perry::Wilhelm Schäfer:::Editorial.
journals/sopr/BriandDW97:::Lionel C. Briand::John W. Daly::Jürgen Wüst:::Empirical research in object-oriented quality.
journals/sopr/LaporteT98:::Claude Y. Laporte::Sylvie Trudel:::Addressing the people issues of process improvement activities at Oerlikon Aerospace.
journals/sopr/Richardson01:::Ita Richardson:::Software process matrix: a small company SPI model.
journals/tele/MokdadP01:::Akram Mokdad::Wilfried Probst:::The computational object approach for network and systems management.
journals/tele/VassilakisLLRG03:::Costas Vassilakis::Giorgos Laskaridis::Giorgos Lepouras::Stathis Rouvas::Panagiotis Georgiadis:::A framework for managing the lifecycle of transactional e-government services.
journals/tele/KimL99:::Seongcheol Kim::Barry Litman:::An economic analysis of the US wireless telephone industry: responses to new technologies.
journals/tele/PittMC01:::Jeremy Pitt::Abe Mamdani::Patricia Charlton:::The open agent society and its enemies: a position statement and research programme.
journals/tele/David03:::Matthew David:::The politics of communication: information technology, local knowledge and social exclusion.
journals/tele/Thomas99:::Pradip N. Thomas:::Knowledge regimes: the WTO, IP and public interests in India.
journals/tele/SafaP98:::Haïdar Safa::Samuel Pierre:::Milamu: A micro-language for manipulating multimedia documents.
journals/tele/Soete00:::Luc Soete:::Towards the digital economy: scenarios for business.
journals/tele/Biukovic02:::Ljiljana Biukovic:::Unification of cyber-jurisdiction rules: just how close are the EU and the US?
journals/tele/HwangKW02:::Junseok Hwang::Hak-Jin Kim::Martin B. H. Weiss:::Interprovider differentiated service interconnection management models in the Internet bandwidth commodity markets.
journals/tele/Steinke02:::Gerhard Steinke:::Data privacy approaches from US and EU perspectives.
journals/tele/FrederickM99:::Howard H. Frederick::Don McIlroy:::New Zealand and its competitors in the knowledge economy.
journals/tele/Agre98:::Philip E. Agre:::Building an Internet culture.
journals/titb/SantarelliPL00:::M. F. Santarelli::V. Positano::L. Landini:::Combining high-performance computing and networking for advanced 3-D cardiac imaging.
journals/titb/ChiuVA01:::Ed Chiu::Jacques Vaisey::M. Stella Atkins:::Wavelet-based space-frequency compression of ultrasound images.
journals/titb/WangLLGC02:::Yue Wang::Jianping Lu::Richard Lee::Zhiping Gu::Robert Clarke:::Iterative normalization of cDNA microarray data.
journals/titb/HwangL00:::Seon-Cheol Hwang::Myoung-Ho Lee:::A Web-based TelePACS using an asymmetric satellite system.
journals/titb/IstepanianHP01:::Robert S. H. Istepanian::Leontios J. Hadjileontiadis::Stavros M. Panas:::ECG data compression using wavelets and higher order statistics methods.
journals/titb/RectorZSRBCCKRMHW98:::Alan L. Rector::P. E. Zanstra::W. D. Solomon::Jeremy Rogers::R. Baud::Werner Ceusters::A. M. W. Claassen::J. Kirby::J.-M. Rodrigues::Angelo Rossi Mori::E. J. Van der Haring::J. Wagner:::Reconciling users' needs and formal requirements: issues in developing a reusable ontology for medicine.
journals/titb/BeltrameBM01:::F. Beltrame::K. Boddy::Piergiulio Maryni:::Adopting telemedicine services in the airline framework.
journals/titb/alSafadiLM98:::Yasser H. alSafadi::William P. Lord::Nicholas J. Mankovich:::PACS/information systems interoperability using Enterprise Communication Framework.
journals/titb/TongFW02:::Yanling Tong::Monique Frize::Robin Walker:::Extending ventilation duration estimations approach from adult to neonatal intensive care patients using artificial neural networks.
journals/titb/ChengLW97:::B. M. W. Cheng::Jimmy Ho-Man Lee::J. C. K. Wu:::A nurse rostering system using constraint programming and redundant modeling.
journals/titb/GrimsonGBSFKTW98:::Jane Grimson::William Grimson::Damon Berry::Gaye Stephens::Eoghan Felton::Dipak Kalra::Pieter Toussaint::Onno W. Weier:::A CORBA-based integration of distributed electronic healthcare records using the Synapses approach.
journals/titb/LazosKP00:::D. Lazos::Z. Kolisti::N. Pallikarakis:::A software data generator for radiographic imaging investigations.
journals/titb/Zahlmann99:::Gudrun Zahlmann:::Guest editorial.
journals/titb/Istepanian99:::Robert S. H. Istepanian:::Telemedicine in the United Kingdom: current status and future prospects.
journals/titb/GlombitzaEHEM99:::Gerald-P. Glombitza::Harald Evers::S. Hassfeld::Uwe Engelmann::Hans-Peter Meinzer:::Virtual surgery in a (tele-)radiology framework.
journals/titb/CombiCP97:::Carlo Combi::Giancarlo Cucchi::Francesco Pinciroli:::Applying object-oriented technologies in modeling and querying temporally oriented clinical databases dealing with temporal granularity and indeterminacy.
journals/titb/AkayMMB98:::Metin Akay::I. Marsic::Attila Medl::Guangming Bu:::A system for medical consultation and education using multimodal human/machine communication.
journals/titb/SalousPC01:::M. N. Salous::David Pycock::G. S. Cruickshank:::CBIT - context-based image transmission.
journals/titb/SikdarMGSMHK03:::S. Sikdar::Ravi Managuli::Lixin Gong::V. Shamdasani::T. Mitake::T. Hayashi::Yongmin Kim:::A single mediaprocessor-based programmable ultrasound system.
journals/titb/HwangCL03:::Wen-Jyi Hwang::Ching-Fung Chine::Kuo-Jung Li:::Scalable medical data compression and transmission using wavelet transform for telemedicine applications.
journals/titb/AbdoulaevCDDFGGLMPSTVVZZ98:::Gassan Abdoulaev::Sandro Cadeddu::Giovanni Delussu::Marco Donizelli::Luca Formaggia::Andrea Giachetti::Enrico Gobbetti::Andrea O. Leone::Cristina Manzi::Piero Pili::Alan L. Scheinine::Massimiliano Tuveri::Alberto Varone::Alessandro Veneziani::Gianluigi Zanetti::Antonio Zorcolo:::ViVa: the virtual vascular project.
journals/titb/ShenRSTT01:::Hong Shen::Badrinath Roysam::Charles V. Stewart::James N. Turner::Howard L. Tanenbaum:::Optimal scheduling of tracing computations for real-time vascular landmark extraction from retinal fundus images.
journals/titb/BrettD00:::Peter N. Brett::B. L. Davies:::Editorial emerging trends at the threshold of a new millennium.
journals/titb/WeesePDBHH97:::Jürgen Weese::Graeme P. Penney::Paul Desmedt::Thorsten M. Buzug::Derek L. G. Hill::David J. Hawkes:::Voxel-based 2-D/3-D registration of fluoroscopy images and CT scans for image-guided surgery.
journals/titb/RivaBBM02:::Giuseppe Riva::Monica Bacchetta::Margherita Baruffi::Enrico Molinari:::Virtual-reality-based multidimensional therapy for the treatment of body image disturbances in binge eating disorders: a preliminary controlled study.
journals/titb/SteeleDKT03:::B. N. Steele::M. T. Draney::J. P. Ku::C. A. Taylor:::Internet-based system for simulation-based medical planning for cardiovascular disease.
journals/titb/Ingenerf99:::Josef Ingenerf:::Telemedicine and terminology: different needs of context information.
journals/titb/StahlZZPCH00:::Johannes N. Stahl::Jianguo Zhang::Chris Zellner::Eugene V. Pomerantsev::Tony M. Chou::H. K. Huang:::Teleconferencing with dynamic medical images.
journals/sttt/Stevens98:::Perdita Stevens:::A Verification Tool Seveloper's Vade Mecum.
journals/sttt/VisserB00:::Willem Visser::Howard Barringer:::Practical CTL<sup>*</sup> Model Checking: Should SPIN be Extended?
journals/sttt/HuismanJB01:::Marieke Huisman::Bart Jacobs::Joachim van den Berg:::A case study in class library verification: Java's vector class.
journals/sttt/Aizman01:::Alex Aizman:::Easy concurrency.
journals/sttt/DelzannoP01:::Giorgio Delzanno::Andreas Podelski:::Constraint-based deductive model checking.
journals/sttt/AmtoftNN98:::Torben Amtoft::Hanne Riis Nielson::Flemming Nielson:::Behavior Analysis for Validating Communication Patterns.
journals/sttt/Kaufmann00:::Matt Kaufmann:::Verification of Year 2000 conversion rules using the ACL2 theorem prover.
journals/sttt/HenzingerHW97:::Thomas A. Henzinger::Pei-Hsin Ho::Howard Wong-Toi:::HYTECH: A Model Checker for Hybrid Systems.
journals/sttt/LarsenPY97:::Kim Guldstrand Larsen::Paul Pettersson::Wang Yi:::UPPAAL in a Nutshell.
journals/sttt/KapurS00:::Deepak Kapur::Mahadevan Subramaniam:::Using an induction prover for verifying arithmetic circuits.
journals/sttt/GenrichKV01:::Hartmann J. Genrich::Robert Küffner::Klaus Voss:::Executable Petri net models for the analysis of metabolic pathways.
journals/stvr/Cole91:::Bob Cole:::Engineering Quality Software: A Review of Current Practices, Standards and Guidelines Including New Methods and Development Tools, by avid J. Smith and Kenneth B. Wood, Elsevier (Book Review).
journals/stvr/Fewster91:::Mark Fewster:::The Managing Director Wants 100 per cent Automated Testing: A Case History.
journals/stvr/Pavey95:::Deryk Pavey:::Safer C: Developing Software for High-Integrity and Safety-Critical Systems, by Les Hatton, McGraw-Hill, 1995 (Book Review).
journals/stvr/VoasM92:::Jeffrey M. Voas::Keith W. Miller:::The Revealing Power of a Test Case.
journals/stvr/Redmill98:::Felix Redmill:::Managing Risk: Methods for Software Systems Development, by Elaine M. Hall, Addison Wesley Longman, 1998 (Book Review).
journals/stvr/Lano94:::Kevin Lano:::Transformational Program Analysis.
journals/stvr/Whitty91:::R. W. Whitty:::An Exercise in Weakest Preconditions.
journals/stvr/Whitty98:::R. W. Whitty:::Editorial: Quantum Computing, Software Testing and the Millennium Bug.
journals/stvr/Neil95:::Martin Neil:::Metrics and Models in Software Quality Engineering, by Stephen H. Kan, Addison-Wesley, 1995 (Book Review).
journals/stvr/Laycock92:::Gilbert Laycock:::Formal Specification and Testing: A Case Study.
journals/stvr/UttingR01:::Mark Utting::Steve Reeves:::Teaching formal methods lite via testing.
journals/stvr/White01:::Lee J. White:::Editorial: Specification-based testing revisited?
journals/stvr/White91:::Lee J. White:::Editorial.
journals/stvr/OlenderB95:::Kurt M. Olender::James M. Bieman:::Algebraic Specifications and Sequencing: A Defect Detection Method.
