<> . <> "University of Southampton, School of Electronics and Computer Science"^^ . <> . <> . <> . <> . <> "While this data is made freely available, you may attribute it if you wish. Also, we would love to hear how it is being used. Contact us at webmaster@ecs.soton.ac.uk to tell us about cool things you have done with it."^^ . . . "A neural network approach to planar-object recognition in 3D space"^^ . "1999" . "2" . "2" . . "Pattern Analysis and Applications"^^ . . . . . . . . . . "R. I."^^ . "Damper"^^ . . "H. C."^^ . "Sim"^^ . . . . . "HTML Summary of of #395 A neural network approach to planar-object recognition in 3D space" . "text/html" . . . "ID Plus Text Citation of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain; charset=utf-8" . . . "RDF+XML of #395 A neural network approach to planar-object recognition in 3D space" . "application/rdf+xml" . . . "BibTeX of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain" . . . "RDF+N-Triples of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain" . . . "JSON of #395 A neural network approach to planar-object recognition in 3D space" . "text/javascript; charset=utf-8" . . . "Dublin Core of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #395 A neural network approach to planar-object recognition in 3D space" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain; charset=utf-8" . . . "Refer of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain" . . . "METS of #395 A neural network approach to planar-object recognition in 3D space" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #395 A neural network approach to planar-object recognition in 3D space" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain; charset=utf-8" . . . "HTML Citation of #395 A neural network approach to planar-object recognition in 3D space" . "text/html; charset=utf-8" . . . "ASCII Citation of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain; charset=utf-8" . . . "YAML of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #395 A neural network approach to planar-object recognition in 3D space" . "text/xml" . . . "OpenURL ContextObject of #395 A neural network approach to planar-object recognition in 3D space" . "text/xml; charset=utf-8" . . . "EndNote of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain; charset=utf-8" . . . "MODS of #395 A neural network approach to planar-object recognition in 3D space" . "text/xml; charset=utf-8" . . . "DIDL of #395 A neural network approach to planar-object recognition in 3D space" . "text/xml; charset=utf-8" . . . "EP3 XML of #395 A neural network approach to planar-object recognition in 3D space" . "text/xml; charset=utf-8" . . . "Reference Manager of #395 A neural network approach to planar-object recognition in 3D space" . "text/plain" . . . "RDF+N3 of #395 A neural network approach to planar-object recognition in 3D space" . "text/n3" . . . "Eprints Application Profile of #395 A neural network approach to planar-object recognition in 3D space" . "text/xml; charset=utf-8" . . . . "Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants"^^ . "2000" . . "12" . "1-2" . . "Applied Intelligence"^^ . . . . . . . . . . . . . . "M. O."^^ . "Gore"^^ . . "S. R."^^ . "Gunn"^^ . . "R. I."^^ . "Damper"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/html" . . . "ID Plus Text Citation of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain; charset=utf-8" . . . "RDF+XML of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "application/rdf+xml" . . . "BibTeX of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain" . . . "RDF+N-Triples of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain" . . . "JSON of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/javascript; charset=utf-8" . . . "Dublin Core of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain; charset=utf-8" . . . "Refer of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain" . . . "METS of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain; charset=utf-8" . . . "HTML Citation of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/html; charset=utf-8" . . . "ASCII Citation of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain; charset=utf-8" . . . "YAML of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/xml" . . . "OpenURL ContextObject of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/xml; charset=utf-8" . . . "EndNote of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain; charset=utf-8" . . . "MODS of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/xml; charset=utf-8" . . . "DIDL of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/xml; charset=utf-8" . . . "EP3 XML of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/xml; charset=utf-8" . . . "Reference Manager of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/plain" . . . "RDF+N3 of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/n3" . . . "Eprints Application Profile of #396 Extracting phonetic knowledge from learning systems: Perceptrons, support vector machines and linear discriminants" . "text/xml; charset=utf-8" . . . . "Neural network modeling of categorical perception"^^ . "2000" . . "62" . "4" . . "Perception and Psychophysics"^^ . . . . . . . . . . . "S. R."^^ . "Harnad"^^ . . "R. I."^^ . "Damper"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #397 Neural network modeling of categorical perception" . "text/html" . . . "ID Plus Text Citation of #397 Neural network modeling of categorical perception" . "text/plain; charset=utf-8" . . . "RDF+XML of #397 Neural network modeling of categorical perception" . "application/rdf+xml" . . . "BibTeX of #397 Neural network modeling of categorical perception" . "text/plain" . . . "RDF+N-Triples of #397 Neural network modeling of categorical perception" . "text/plain" . . . "JSON of #397 Neural network modeling of categorical perception" . "text/javascript; charset=utf-8" . . . "Dublin Core of #397 Neural network modeling of categorical perception" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #397 Neural network modeling of categorical perception" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #397 Neural network modeling of categorical perception" . "text/plain; charset=utf-8" . . . "Refer of #397 Neural network modeling of categorical perception" . "text/plain" . . . "METS of #397 Neural network modeling of categorical perception" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #397 Neural network modeling of categorical perception" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #397 Neural network modeling of categorical perception" . "text/plain; charset=utf-8" . . . "HTML Citation of #397 Neural network modeling of categorical perception" . "text/html; charset=utf-8" . . . "ASCII Citation of #397 Neural network modeling of categorical perception" . "text/plain; charset=utf-8" . . . "YAML of #397 Neural network modeling of categorical perception" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #397 Neural network modeling of categorical perception" . "text/xml" . . . "OpenURL ContextObject of #397 Neural network modeling of categorical perception" . "text/xml; charset=utf-8" . . . "EndNote of #397 Neural network modeling of categorical perception" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #397 Neural network modeling of categorical perception" . "text/plain; charset=utf-8" . . . "MODS of #397 Neural network modeling of categorical perception" . "text/xml; charset=utf-8" . . . "DIDL of #397 Neural network modeling of categorical perception" . "text/xml; charset=utf-8" . . . "EP3 XML of #397 Neural network modeling of categorical perception" . "text/xml; charset=utf-8" . . . "Reference Manager of #397 Neural network modeling of categorical perception" . "text/plain" . . . "RDF+N3 of #397 Neural network modeling of categorical perception" . "text/n3" . . . "Eprints Application Profile of #397 Neural network modeling of categorical perception" . "text/xml; charset=utf-8" . . . . "Towards the evolutionary emergence of increasingly complex advantageous behaviours"^^ . "2000" . . "31" . "7" . . "International Journal of Systems Science"^^ . . . . . . . . . . . "A. D."^^ . "Channon"^^ . . "R. I."^^ . "Damper"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/html" . . . "ID Plus Text Citation of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain; charset=utf-8" . . . "RDF+XML of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "application/rdf+xml" . . . "BibTeX of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain" . . . "RDF+N-Triples of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain" . . . "JSON of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/javascript; charset=utf-8" . . . "Dublin Core of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain; charset=utf-8" . . . "Refer of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain" . . . "METS of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain; charset=utf-8" . . . "HTML Citation of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/html; charset=utf-8" . . . "ASCII Citation of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain; charset=utf-8" . . . "YAML of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/xml" . . . "OpenURL ContextObject of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/xml; charset=utf-8" . . . "EndNote of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain; charset=utf-8" . . . "MODS of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/xml; charset=utf-8" . . . "DIDL of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/xml; charset=utf-8" . . . "EP3 XML of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/xml; charset=utf-8" . . . "Reference Manager of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/plain" . . . "RDF+N3 of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/n3" . . . "Eprints Application Profile of #398 Towards the evolutionary emergence of increasingly complex advantageous behaviours" . "text/xml; charset=utf-8" . . . . "A system design for human factors studies of speech-enabled Web browsing"^^ . "1999" . . . . . . . . . . . . . . . . . "S."^^ . "Harnad"^^ . . "L. J."^^ . "Adams"^^ . . "R. I."^^ . "Damper"^^ . . "W."^^ . "Hall"^^ . . . . "ESCA Workshop on Interactive Dialogue in Multi-Modal Systems"^^ . . . . . "Kloster Irsee, Germany"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/html" . . . "ID Plus Text Citation of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain; charset=utf-8" . . . "RDF+XML of #399 A system design for human factors studies of speech-enabled Web browsing" . "application/rdf+xml" . . . "BibTeX of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain" . . . "RDF+N-Triples of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain" . . . "JSON of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/javascript; charset=utf-8" . . . "Dublin Core of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #399 A system design for human factors studies of speech-enabled Web browsing" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain; charset=utf-8" . . . "Refer of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain" . . . "METS of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #399 A system design for human factors studies of speech-enabled Web browsing" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain; charset=utf-8" . . . "HTML Citation of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/html; charset=utf-8" . . . "ASCII Citation of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain; charset=utf-8" . . . "YAML of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/xml" . . . "OpenURL ContextObject of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/xml; charset=utf-8" . . . "EndNote of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain; charset=utf-8" . . . "MODS of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/xml; charset=utf-8" . . . "DIDL of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/xml; charset=utf-8" . . . "EP3 XML of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/xml; charset=utf-8" . . . "Reference Manager of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/plain" . . . "RDF+N3 of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/n3" . . . "Eprints Application Profile of #399 A system design for human factors studies of speech-enabled Web browsing" . "text/xml; charset=utf-8" . . . "Evolving novel behaviors via natural selection"^^ . "1998" . . . "Bradford Books/MIT Press"^^ . . . . . . . . . . . . . . . . . . . . . "A. D."^^ . "Channon"^^ . . "R. K."^^ . "Belew"^^ . . "C. E."^^ . "Taylor"^^ . . "C."^^ . "Adami"^^ . . "R. I."^^ . "Damper"^^ . . "H."^^ . "Kitano"^^ . . . . "ALife VI: Sixth International Conference on Artificial Life - Life and Computation, Los Angeles, CA"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #420 Evolving novel behaviors via natural selection" . "text/html" . . . "ID Plus Text Citation of #420 Evolving novel behaviors via natural selection" . "text/plain; charset=utf-8" . . . "RDF+XML of #420 Evolving novel behaviors via natural selection" . "application/rdf+xml" . . . "BibTeX of #420 Evolving novel behaviors via natural selection" . "text/plain" . . . "RDF+N-Triples of #420 Evolving novel behaviors via natural selection" . "text/plain" . . . "JSON of #420 Evolving novel behaviors via natural selection" . "text/javascript; charset=utf-8" . . . "Dublin Core of #420 Evolving novel behaviors via natural selection" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #420 Evolving novel behaviors via natural selection" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #420 Evolving novel behaviors via natural selection" . "text/plain; charset=utf-8" . . . "Refer of #420 Evolving novel behaviors via natural selection" . "text/plain" . . . "METS of #420 Evolving novel behaviors via natural selection" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #420 Evolving novel behaviors via natural selection" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #420 Evolving novel behaviors via natural selection" . "text/plain; charset=utf-8" . . . "HTML Citation of #420 Evolving novel behaviors via natural selection" . "text/html; charset=utf-8" . . . "ASCII Citation of #420 Evolving novel behaviors via natural selection" . "text/plain; charset=utf-8" . . . "YAML of #420 Evolving novel behaviors via natural selection" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #420 Evolving novel behaviors via natural selection" . "text/xml" . . . "OpenURL ContextObject of #420 Evolving novel behaviors via natural selection" . "text/xml; charset=utf-8" . . . "EndNote of #420 Evolving novel behaviors via natural selection" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #420 Evolving novel behaviors via natural selection" . "text/plain; charset=utf-8" . . . "MODS of #420 Evolving novel behaviors via natural selection" . "text/xml; charset=utf-8" . . . "DIDL of #420 Evolving novel behaviors via natural selection" . "text/xml; charset=utf-8" . . . "EP3 XML of #420 Evolving novel behaviors via natural selection" . "text/xml; charset=utf-8" . . . "Reference Manager of #420 Evolving novel behaviors via natural selection" . "text/plain" . . . "RDF+N3 of #420 Evolving novel behaviors via natural selection" . "text/n3" . . . "Eprints Application Profile of #420 Evolving novel behaviors via natural selection" . "text/xml; charset=utf-8" . . . . "Dynamic Magnetic Resonance Imaging: new tools for speech research"^^ . "A multiplanar Dynamic Magnetic Resonance Imaging (MRI) technique\nthat extends our earlier work on single-plane Dynamic MRI is described.\nScanned images acquired while an utterasne is repeated are recombined to form\npseudo-time-varying images of the vocal tract using a simultaneously\nrecorded audio signal. There is no technical limit on the utterance length\nor number of slices that can be so imaged, though the number of repetitions\nrequired may be limited by the subject's stamina. An example of [pasi]\nimaged in three sagittal planes is shown; with a Signa GE 0.5T MR scanner,\n360 tokens were reconstructed to form a sequence of 39 3-slice 16ms frames.\nFrom these, a 3-D volume was generated for each time frame, and tract\nsurfaces outlined manually. Parameters derived from these include:\npalate-tongue distances for [a,s,i]; estimates of tongue volume and of the\narea function using only the midsagittal, and then all three slices. These\ndemonstrate the accuracy and usefulness of the technique."^^ . "1999-08" . . . . . . . . . . . . . . "P.J.B."^^ . "Jackson"^^ . "J.N."^^ . "Carter"^^ . . "M."^^ . "Mohammad"^^ . . "C.H."^^ . "Shadle"^^ . . . . "14th Int. Cong. Phon. Sci."^^ . . . . . "HTML Summary of of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/html" . . . "ID Plus Text Citation of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain; charset=utf-8" . . . "RDF+XML of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "application/rdf+xml" . . . "BibTeX of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain" . . . "RDF+N-Triples of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain" . . . "JSON of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/javascript; charset=utf-8" . . . "Dublin Core of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain; charset=utf-8" . . . "Refer of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain" . . . "METS of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain; charset=utf-8" . . . "HTML Citation of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/html; charset=utf-8" . . . "ASCII Citation of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain; charset=utf-8" . . . "YAML of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/xml" . . . "OpenURL ContextObject of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/xml; charset=utf-8" . . . "EndNote of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain; charset=utf-8" . . . "MODS of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/xml; charset=utf-8" . . . "DIDL of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/xml; charset=utf-8" . . . "EP3 XML of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/xml; charset=utf-8" . . . "Reference Manager of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/plain" . . . "RDF+N3 of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/n3" . . . "Eprints Application Profile of #434 Dynamic Magnetic Resonance Imaging: new tools for speech research" . "text/xml; charset=utf-8" . . . . "A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates"^^ . "In order to tackle the problem of recognizing humans by gait, we use an approach which combines eigenspace\ntransformation (EST) with canonical space transformation (CST) for feature extraction of spatial templates from a gait\nsequence. Our proposed method can be used to reduce data dimensionality and to optimize the class separability of\ndifferent gait sequences simultaneously. In this paper, we propose a new feature - temporal templates , and an extended\nfeature which combines spatial and temporal templates for recognition. By incorporating spatial and temporal information\ninto an extended feature vector in the canonical space, gait recognition becomes more robust and accurate than using any\nsingle feature alone."^^ . "1998-10" . "3" . . . . . . . . . . . "M.S."^^ . "Nixon"^^ . . "C.J."^^ . "Harris"^^ . . "P.S."^^ . "Huang"^^ . . . . "Proc. of International Conference on Image Processing"^^ . . . . . "HTML Summary of of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/html" . . . "ID Plus Text Citation of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain; charset=utf-8" . . . "RDF+XML of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "application/rdf+xml" . . . "BibTeX of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain" . . . "RDF+N-Triples of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain" . . . "JSON of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/javascript; charset=utf-8" . . . "Dublin Core of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain; charset=utf-8" . . . "Refer of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain" . . . "METS of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain; charset=utf-8" . . . "HTML Citation of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/html; charset=utf-8" . . . "ASCII Citation of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain; charset=utf-8" . . . "YAML of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/xml" . . . "OpenURL ContextObject of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/xml; charset=utf-8" . . . "EndNote of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain; charset=utf-8" . . . "MODS of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/xml; charset=utf-8" . . . "DIDL of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/xml; charset=utf-8" . . . "EP3 XML of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/xml; charset=utf-8" . . . "Reference Manager of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/plain" . . . "RDF+N3 of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/n3" . . . "Eprints Application Profile of #435 A Statistical Approach for Recognizing Humans by Gait using Spatial-Temporal Templates" . "text/xml; charset=utf-8" . . . . "The role of the auditory periphery in the categorization of stop consonants"^^ . "1998" . . "4" . . . . . "R.I."^^ . "Damper"^^ . . . . "16th International Congress on Acoustics and 135th Meeting of the Acoustical Society of America"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/html" . . . "ID Plus Text Citation of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain; charset=utf-8" . . . "RDF+XML of #419 The role of the auditory periphery in the categorization of stop consonants" . "application/rdf+xml" . . . "BibTeX of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain" . . . "RDF+N-Triples of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain" . . . "JSON of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/javascript; charset=utf-8" . . . "Dublin Core of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #419 The role of the auditory periphery in the categorization of stop consonants" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain; charset=utf-8" . . . "Refer of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain" . . . "METS of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #419 The role of the auditory periphery in the categorization of stop consonants" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain; charset=utf-8" . . . "HTML Citation of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/html; charset=utf-8" . . . "ASCII Citation of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain; charset=utf-8" . . . "YAML of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/xml" . . . "OpenURL ContextObject of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/xml; charset=utf-8" . . . "EndNote of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain; charset=utf-8" . . . "MODS of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/xml; charset=utf-8" . . . "DIDL of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/xml; charset=utf-8" . . . "EP3 XML of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/xml; charset=utf-8" . . . "Reference Manager of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/plain" . . . "RDF+N3 of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/n3" . . . "Eprints Application Profile of #419 The role of the auditory periphery in the categorization of stop consonants" . "text/xml; charset=utf-8" . . . . "Recognition of planar objects in 3D space using a modified dynamic link architecture"^^ . "1998-10" . "3" . . "IEEE"^^ . . . . . . . . . "H.C."^^ . "Sim"^^ . . "R.I."^^ . "Damper"^^ . . . . "IEEE International Conference on Image Processing (ICIP'98), Chicago, IL"^^ . . . . . "HTML Summary of of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/html" . . . "ID Plus Text Citation of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain; charset=utf-8" . . . "RDF+XML of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "application/rdf+xml" . . . "BibTeX of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain" . . . "RDF+N-Triples of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain" . . . "JSON of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/javascript; charset=utf-8" . . . "Dublin Core of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain; charset=utf-8" . . . "Refer of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain" . . . "METS of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain; charset=utf-8" . . . "HTML Citation of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/html; charset=utf-8" . . . "ASCII Citation of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain; charset=utf-8" . . . "YAML of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/xml" . . . "OpenURL ContextObject of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/xml; charset=utf-8" . . . "EndNote of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain; charset=utf-8" . . . "MODS of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/xml; charset=utf-8" . . . "DIDL of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/xml; charset=utf-8" . . . "EP3 XML of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/xml; charset=utf-8" . . . "Reference Manager of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/plain" . . . "RDF+N3 of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/n3" . . . "Eprints Application Profile of #421 Recognition of planar objects in 3D space using a modified dynamic link architecture" . "text/xml; charset=utf-8" . . . . "Dynamic link architecture for matching flat objects in three-dimensional space"^^ . "1998-12" . "2" . . . . . . . . "H.C."^^ . "Sim"^^ . . "R.I."^^ . "Damper"^^ . . . . "5th International Conference on Automation, Robotics, Control and Vision, Singapore"^^ . . . . . "HTML Summary of of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/html" . . . "ID Plus Text Citation of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "RDF+XML of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "application/rdf+xml" . . . "BibTeX of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain" . . . "RDF+N-Triples of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain" . . . "JSON of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/javascript; charset=utf-8" . . . "Dublin Core of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "Refer of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain" . . . "METS of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "HTML Citation of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/html; charset=utf-8" . . . "ASCII Citation of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "YAML of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/xml" . . . "OpenURL ContextObject of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "EndNote of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "MODS of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "DIDL of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "EP3 XML of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "Reference Manager of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/plain" . . . "RDF+N3 of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/n3" . . . "Eprints Application Profile of #422 Dynamic link architecture for matching flat objects in three-dimensional space" . "text/xml; charset=utf-8" . . . . "Dynamic link architecture for matching planar objects in three-dimensional space"^^ . "1998-10" . "5" . . . . . . . . "H.C."^^ . "Sim"^^ . . "R.I."^^ . "Damper"^^ . . . . "IEEE International Conference on Systems, Man and Cybernetics (SMC'98), San Diego, CA"^^ . . . . . "HTML Summary of of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/html" . . . "ID Plus Text Citation of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "RDF+XML of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "application/rdf+xml" . . . "BibTeX of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain" . . . "RDF+N-Triples of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain" . . . "JSON of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/javascript; charset=utf-8" . . . "Dublin Core of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "Refer of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain" . . . "METS of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "HTML Citation of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/html; charset=utf-8" . . . "ASCII Citation of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "YAML of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/xml" . . . "OpenURL ContextObject of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "EndNote of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain; charset=utf-8" . . . "MODS of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "DIDL of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "EP3 XML of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/xml; charset=utf-8" . . . "Reference Manager of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/plain" . . . "RDF+N3 of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/n3" . . . "Eprints Application Profile of #423 Dynamic link architecture for matching planar objects in three-dimensional space" . "text/xml; charset=utf-8" . . . . "Matching flat objects in 3D space using dynamic link architecture"^^ . "1998-10" . . "4" . . . . . . . . "H.C."^^ . "Sim"^^ . . "R.I."^^ . "Damper"^^ . . . . "1st International Workshop on Comuter Vision, Pattern Recognition and Computer Vision (CVPRIP'98), Research Triangle, NC"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/html" . . . "ID Plus Text Citation of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain; charset=utf-8" . . . "RDF+XML of #424 Matching flat objects in 3D space using dynamic link architecture" . "application/rdf+xml" . . . "BibTeX of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain" . . . "RDF+N-Triples of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain" . . . "JSON of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/javascript; charset=utf-8" . . . "Dublin Core of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #424 Matching flat objects in 3D space using dynamic link architecture" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain; charset=utf-8" . . . "Refer of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain" . . . "METS of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #424 Matching flat objects in 3D space using dynamic link architecture" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain; charset=utf-8" . . . "HTML Citation of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/html; charset=utf-8" . . . "ASCII Citation of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain; charset=utf-8" . . . "YAML of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/xml" . . . "OpenURL ContextObject of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/xml; charset=utf-8" . . . "EndNote of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain; charset=utf-8" . . . "MODS of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/xml; charset=utf-8" . . . "DIDL of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/xml; charset=utf-8" . . . "EP3 XML of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/xml; charset=utf-8" . . . "Reference Manager of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/plain" . . . "RDF+N3 of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/n3" . . . "Eprints Application Profile of #424 Matching flat objects in 3D space using dynamic link architecture" . "text/xml; charset=utf-8" . . . . "Relative Liveness and Behavior Abstraction (extended abstract)"^^ . "1997" . . "ACM, New York"^^ . . "ACM, New York"^^ . . . . . . . . . . "Pierre"^^ . "Wolper"^^ . . "Ulrich"^^ . "Nitsche"^^ . . . . "Proc. 16th Int. SIGACT-SIGOPS Symp. on Principles of Distr. Computing (PODC)"^^ . . . . . "HTML Summary of of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/html" . . . "ID Plus Text Citation of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain; charset=utf-8" . . . "RDF+XML of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "application/rdf+xml" . . . "BibTeX of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain" . . . "RDF+N-Triples of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain" . . . "JSON of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/javascript; charset=utf-8" . . . "Dublin Core of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain; charset=utf-8" . . . "Refer of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain" . . . "METS of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain; charset=utf-8" . . . "HTML Citation of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/html; charset=utf-8" . . . "ASCII Citation of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain; charset=utf-8" . . . "YAML of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/xml" . . . "OpenURL ContextObject of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/xml; charset=utf-8" . . . "EndNote of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain; charset=utf-8" . . . "MODS of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/xml; charset=utf-8" . . . "DIDL of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/xml; charset=utf-8" . . . "EP3 XML of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/xml; charset=utf-8" . . . "Reference Manager of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/plain" . . . "RDF+N3 of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/n3" . . . "Eprints Application Profile of #570 Relative Liveness and Behavior Abstraction (extended abstract)" . "text/xml; charset=utf-8" . . . . "Interpretation of the Full Computation Tree Logic $CTL^*$ on Sets of Infinite Sequences"^^ . "1997" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . "A."^^ . "Nerode"^^ . . "S."^^ . "Adian"^^ . . "U."^^ . "Nitsche"^^ . . . . "Proc. 4th Int. Conf. Logical Foundations of Computer Science (LFCS), LNCS 1234"^^ . . . . . "HTML Summary of of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/html" . . . "ID Plus Text Citation of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain; charset=utf-8" . . . "RDF+XML of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "application/rdf+xml" . . . "BibTeX of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain" . . . "RDF+N-Triples of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain" . . . "JSON of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/javascript; charset=utf-8" . . . "Dublin Core of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain; charset=utf-8" . . . "Refer of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain" . . . "METS of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain; charset=utf-8" . . . "HTML Citation of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/html; charset=utf-8" . . . "ASCII Citation of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain; charset=utf-8" . . . "YAML of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/xml" . . . "OpenURL ContextObject of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/xml; charset=utf-8" . . . "EndNote of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain; charset=utf-8" . . . "MODS of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/xml; charset=utf-8" . . . "DIDL of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/xml; charset=utf-8" . . . "EP3 XML of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/xml; charset=utf-8" . . . "Reference Manager of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/plain" . . . "RDF+N3 of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/n3" . . . "Eprints Application Profile of #571 Interpretation of the Full Computation Tree Logic \"$CTL^*$\" on Sets of Infinite Sequences" . "text/xml; charset=utf-8" . . . . "The SH-Verification Tool"^^ . "1997" . . "ERCIM, Le Chesnay, France"^^ . . . . . . . . . . . . . . . . "R."^^ . "Rieke"^^ . . "J."^^ . "Repp"^^ . . "U."^^ . "Nitsche"^^ . . "P."^^ . "Ochsenschläger"^^ . . . . "Proc. 2nd Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS)"^^ . . . . . "HTML Summary of of #572 The SH-Verification Tool" . "text/html" . . . "ID Plus Text Citation of #572 The SH-Verification Tool" . "text/plain; charset=utf-8" . . . "RDF+XML of #572 The SH-Verification Tool" . "application/rdf+xml" . . . "BibTeX of #572 The SH-Verification Tool" . "text/plain" . . . "RDF+N-Triples of #572 The SH-Verification Tool" . "text/plain" . . . "JSON of #572 The SH-Verification Tool" . "text/javascript; charset=utf-8" . . . "Dublin Core of #572 The SH-Verification Tool" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #572 The SH-Verification Tool" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #572 The SH-Verification Tool" . "text/plain; charset=utf-8" . . . "Refer of #572 The SH-Verification Tool" . "text/plain" . . . "METS of #572 The SH-Verification Tool" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #572 The SH-Verification Tool" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #572 The SH-Verification Tool" . "text/plain; charset=utf-8" . . . "HTML Citation of #572 The SH-Verification Tool" . "text/html; charset=utf-8" . . . "ASCII Citation of #572 The SH-Verification Tool" . "text/plain; charset=utf-8" . . . "YAML of #572 The SH-Verification Tool" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #572 The SH-Verification Tool" . "text/xml" . . . "OpenURL ContextObject of #572 The SH-Verification Tool" . "text/xml; charset=utf-8" . . . "EndNote of #572 The SH-Verification Tool" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #572 The SH-Verification Tool" . "text/plain; charset=utf-8" . . . "MODS of #572 The SH-Verification Tool" . "text/xml; charset=utf-8" . . . "DIDL of #572 The SH-Verification Tool" . "text/xml; charset=utf-8" . . . "EP3 XML of #572 The SH-Verification Tool" . "text/xml; charset=utf-8" . . . "Reference Manager of #572 The SH-Verification Tool" . "text/plain" . . . "RDF+N3 of #572 The SH-Verification Tool" . "text/n3" . . . "Eprints Application Profile of #572 The SH-Verification Tool" . "text/xml; charset=utf-8" . . . . "The Cogito Development System"^^ . "1997-12" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . . . . . . . . . . "L."^^ . "Wildman"^^ . . "D."^^ . "Hazel"^^ . . "M."^^ . "Johnson"^^ . . "P."^^ . "Kearney"^^ . . "O."^^ . "Traynor"^^ . . "A."^^ . "Martin"^^ . . "R."^^ . "Nickson"^^ . . . . "Proc. 6th Int. Conf. Algebraic Methodology and Software Technology (AMAST), LNCS 1349"^^ . . . . . "HTML Summary of of #573 The Cogito Development System" . "text/html" . . . "ID Plus Text Citation of #573 The Cogito Development System" . "text/plain; charset=utf-8" . . . "RDF+XML of #573 The Cogito Development System" . "application/rdf+xml" . . . "BibTeX of #573 The Cogito Development System" . "text/plain" . . . "RDF+N-Triples of #573 The Cogito Development System" . "text/plain" . . . "JSON of #573 The Cogito Development System" . "text/javascript; charset=utf-8" . . . "Dublin Core of #573 The Cogito Development System" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #573 The Cogito Development System" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #573 The Cogito Development System" . "text/plain; charset=utf-8" . . . "Refer of #573 The Cogito Development System" . "text/plain" . . . "METS of #573 The Cogito Development System" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #573 The Cogito Development System" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #573 The Cogito Development System" . "text/plain; charset=utf-8" . . . "HTML Citation of #573 The Cogito Development System" . "text/html; charset=utf-8" . . . "ASCII Citation of #573 The Cogito Development System" . "text/plain; charset=utf-8" . . . "YAML of #573 The Cogito Development System" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #573 The Cogito Development System" . "text/xml" . . . "OpenURL ContextObject of #573 The Cogito Development System" . "text/xml; charset=utf-8" . . . "EndNote of #573 The Cogito Development System" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #573 The Cogito Development System" . "text/plain; charset=utf-8" . . . "MODS of #573 The Cogito Development System" . "text/xml; charset=utf-8" . . . "DIDL of #573 The Cogito Development System" . "text/xml; charset=utf-8" . . . "EP3 XML of #573 The Cogito Development System" . "text/xml; charset=utf-8" . . . "Reference Manager of #573 The Cogito Development System" . "text/plain" . . . "RDF+N3 of #573 The Cogito Development System" . "text/n3" . . . "Eprints Application Profile of #573 The Cogito Development System" . "text/xml; charset=utf-8" . . . . "Combining Process Modelling"^^ . "1997" . "39" . "2" . . "Information and Software Technology"^^ . . . . . . . . . . "G. K."^^ . "Abeysinghe"^^ . . "K. T."^^ . "Phalp"^^ . . . . . "HTML Summary of of #574 Combining Process Modelling" . "text/html" . . . "ID Plus Text Citation of #574 Combining Process Modelling" . "text/plain; charset=utf-8" . . . "RDF+XML of #574 Combining Process Modelling" . "application/rdf+xml" . . . "BibTeX of #574 Combining Process Modelling" . "text/plain" . . . "RDF+N-Triples of #574 Combining Process Modelling" . "text/plain" . . . "JSON of #574 Combining Process Modelling" . "text/javascript; charset=utf-8" . . . "Dublin Core of #574 Combining Process Modelling" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #574 Combining Process Modelling" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #574 Combining Process Modelling" . "text/plain; charset=utf-8" . . . "Refer of #574 Combining Process Modelling" . "text/plain" . . . "METS of #574 Combining Process Modelling" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #574 Combining Process Modelling" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #574 Combining Process Modelling" . "text/plain; charset=utf-8" . . . "HTML Citation of #574 Combining Process Modelling" . "text/html; charset=utf-8" . . . "ASCII Citation of #574 Combining Process Modelling" . "text/plain; charset=utf-8" . . . "YAML of #574 Combining Process Modelling" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #574 Combining Process Modelling" . "text/xml" . . . "OpenURL ContextObject of #574 Combining Process Modelling" . "text/xml; charset=utf-8" . . . "EndNote of #574 Combining Process Modelling" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #574 Combining Process Modelling" . "text/plain; charset=utf-8" . . . "MODS of #574 Combining Process Modelling" . "text/xml; charset=utf-8" . . . "DIDL of #574 Combining Process Modelling" . "text/xml; charset=utf-8" . . . "EP3 XML of #574 Combining Process Modelling" . "text/xml; charset=utf-8" . . . "Reference Manager of #574 Combining Process Modelling" . "text/plain" . . . "RDF+N3 of #574 Combining Process Modelling" . "text/n3" . . . "Eprints Application Profile of #574 Combining Process Modelling" . "text/xml; charset=utf-8" . . . . "Stepwise Refinement of Communicating Systems"^^ . "1996-09" . . "27" . "2" . . "Science of Computer Programming"^^ . . . . . . . . "M. J."^^ . "Butler"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #575 Stepwise Refinement of Communicating Systems" . "text/html" . . . "ID Plus Text Citation of #575 Stepwise Refinement of Communicating Systems" . "text/plain; charset=utf-8" . . . "RDF+XML of #575 Stepwise Refinement of Communicating Systems" . "application/rdf+xml" . . . "BibTeX of #575 Stepwise Refinement of Communicating Systems" . "text/plain" . . . "RDF+N-Triples of #575 Stepwise Refinement of Communicating Systems" . "text/plain" . . . "JSON of #575 Stepwise Refinement of Communicating Systems" . "text/javascript; charset=utf-8" . . . "Dublin Core of #575 Stepwise Refinement of Communicating Systems" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #575 Stepwise Refinement of Communicating Systems" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #575 Stepwise Refinement of Communicating Systems" . "text/plain; charset=utf-8" . . . "Refer of #575 Stepwise Refinement of Communicating Systems" . "text/plain" . . . "METS of #575 Stepwise Refinement of Communicating Systems" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #575 Stepwise Refinement of Communicating Systems" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #575 Stepwise Refinement of Communicating Systems" . "text/plain; charset=utf-8" . . . "HTML Citation of #575 Stepwise Refinement of Communicating Systems" . "text/html; charset=utf-8" . . . "ASCII Citation of #575 Stepwise Refinement of Communicating Systems" . "text/plain; charset=utf-8" . . . "YAML of #575 Stepwise Refinement of Communicating Systems" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #575 Stepwise Refinement of Communicating Systems" . "text/xml" . . . "OpenURL ContextObject of #575 Stepwise Refinement of Communicating Systems" . "text/xml; charset=utf-8" . . . "EndNote of #575 Stepwise Refinement of Communicating Systems" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #575 Stepwise Refinement of Communicating Systems" . "text/plain; charset=utf-8" . . . "MODS of #575 Stepwise Refinement of Communicating Systems" . "text/xml; charset=utf-8" . . . "DIDL of #575 Stepwise Refinement of Communicating Systems" . "text/xml; charset=utf-8" . . . "EP3 XML of #575 Stepwise Refinement of Communicating Systems" . "text/xml; charset=utf-8" . . . "Reference Manager of #575 Stepwise Refinement of Communicating Systems" . "text/plain" . . . "RDF+N3 of #575 Stepwise Refinement of Communicating Systems" . "text/n3" . . . "Eprints Application Profile of #575 Stepwise Refinement of Communicating Systems" . "text/xml; charset=utf-8" . . . . "Calculational Derivation of Algorithms on Tree-based Pointer Structures"^^ . "1996" . . . "Springer-Verlag Electronic Workshops in Computing"^^ . . "Springer-Verlag Electronic Workshops in Computing"^^ . . . . . . . . . . . . . . . . . "He"^^ . "Jifeng"^^ . . "P."^^ . "Wallace"^^ . . "J."^^ . "Cooke"^^ . . "M. J."^^ . "Butler"^^ . . . . "BCS-FACS Refinement Workshop"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/html" . . . "ID Plus Text Citation of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain; charset=utf-8" . . . "RDF+XML of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "application/rdf+xml" . . . "BibTeX of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain" . . . "RDF+N-Triples of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain" . . . "JSON of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/javascript; charset=utf-8" . . . "Dublin Core of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain; charset=utf-8" . . . "Refer of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain" . . . "METS of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain; charset=utf-8" . . . "HTML Citation of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/html; charset=utf-8" . . . "ASCII Citation of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain; charset=utf-8" . . . "YAML of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/xml" . . . "OpenURL ContextObject of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/xml; charset=utf-8" . . . "EndNote of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain; charset=utf-8" . . . "MODS of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/xml; charset=utf-8" . . . "DIDL of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/xml; charset=utf-8" . . . "EP3 XML of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/xml; charset=utf-8" . . . "Reference Manager of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/plain" . . . "RDF+N3 of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/n3" . . . "Eprints Application Profile of #576 Calculational Derivation of Algorithms on Tree-based Pointer Structures" . "text/xml; charset=utf-8" . . . . "A Distributed Hypermedia Link Service"^^ . "1996" . . . . . . . . . . . . . . "Gary J."^^ . "Hill"^^ . . "Les A."^^ . "Carr"^^ . . "David C."^^ . "DeRoure"^^ . . "Wendy"^^ . "Hall"^^ . . . . "Proceedings of the Third InternationalWorkshop on Services in Distributed and Networked Environments (SDNE96)"^^ . . . . . "HTML Summary of of #715 A Distributed Hypermedia Link Service" . "text/html" . . . "ID Plus Text Citation of #715 A Distributed Hypermedia Link Service" . "text/plain; charset=utf-8" . . . "RDF+XML of #715 A Distributed Hypermedia Link Service" . "application/rdf+xml" . . . "BibTeX of #715 A Distributed Hypermedia Link Service" . "text/plain" . . . "RDF+N-Triples of #715 A Distributed Hypermedia Link Service" . "text/plain" . . . "JSON of #715 A Distributed Hypermedia Link Service" . "text/javascript; charset=utf-8" . . . "Dublin Core of #715 A Distributed Hypermedia Link Service" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #715 A Distributed Hypermedia Link Service" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #715 A Distributed Hypermedia Link Service" . "text/plain; charset=utf-8" . . . "Refer of #715 A Distributed Hypermedia Link Service" . "text/plain" . . . "METS of #715 A Distributed Hypermedia Link Service" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #715 A Distributed Hypermedia Link Service" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #715 A Distributed Hypermedia Link Service" . "text/plain; charset=utf-8" . . . "HTML Citation of #715 A Distributed Hypermedia Link Service" . "text/html; charset=utf-8" . . . "ASCII Citation of #715 A Distributed Hypermedia Link Service" . "text/plain; charset=utf-8" . . . "YAML of #715 A Distributed Hypermedia Link Service" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #715 A Distributed Hypermedia Link Service" . "text/xml" . . . "OpenURL ContextObject of #715 A Distributed Hypermedia Link Service" . "text/xml; charset=utf-8" . . . "EndNote of #715 A Distributed Hypermedia Link Service" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #715 A Distributed Hypermedia Link Service" . "text/plain; charset=utf-8" . . . "MODS of #715 A Distributed Hypermedia Link Service" . "text/xml; charset=utf-8" . . . "DIDL of #715 A Distributed Hypermedia Link Service" . "text/xml; charset=utf-8" . . . "EP3 XML of #715 A Distributed Hypermedia Link Service" . "text/xml; charset=utf-8" . . . "Reference Manager of #715 A Distributed Hypermedia Link Service" . "text/plain" . . . "RDF+N3 of #715 A Distributed Hypermedia Link Service" . "text/n3" . . . "Eprints Application Profile of #715 A Distributed Hypermedia Link Service" . "text/xml; charset=utf-8" . . . . "Hypermedia and the Teaching of Computer Science: Evaluating an Open System"^^ . "The authors have been involved in a project to build an open hypermedia system known as Microcosm. This paper examines the reasons why hypermedia has made so little impact on teaching in higher education. The open hypermedia system, Microcosm is introduced, and an experiment to use the system to support the teaching of SML as a first language is described."^^ . "1992-04" . . . . . . . . . . . . . . . . . . . . . . . . . "T."^^ . "Hopkins"^^ . . "Gerard A."^^ . "Hutchings"^^ . . "Hugh C."^^ . "Davis"^^ . . "D."^^ . "Bateman"^^ . . "D."^^ . "Rush"^^ . . "Robert J."^^ . "Wilkins"^^ . . "Wendy"^^ . "Hall"^^ . . . . "In Proceedings of the First Conference on Developments in the Teaching of Computer Science, University of Kent."^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/html" . . . "ID Plus Text Citation of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain; charset=utf-8" . . . "RDF+XML of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "application/rdf+xml" . . . "BibTeX of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain" . . . "RDF+N-Triples of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain" . . . "JSON of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/javascript; charset=utf-8" . . . "Dublin Core of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain; charset=utf-8" . . . "Refer of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain" . . . "METS of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain; charset=utf-8" . . . "HTML Citation of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/html; charset=utf-8" . . . "ASCII Citation of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain; charset=utf-8" . . . "YAML of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/xml" . . . "OpenURL ContextObject of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/xml; charset=utf-8" . . . "EndNote of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain; charset=utf-8" . . . "MODS of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/xml; charset=utf-8" . . . "DIDL of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/xml; charset=utf-8" . . . "EP3 XML of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/xml; charset=utf-8" . . . "Reference Manager of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/plain" . . . "RDF+N3 of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/n3" . . . "Eprints Application Profile of #714 Hypermedia and the Teaching of Computer Science: Evaluating an Open System" . "text/xml; charset=utf-8" . . . . "Genetic Drift in Genetic Algorithm Selection Schemes"^^ . "A method for calculating genetic drift in terms of changing population fitness variance is presented. The method allows for an easy comparison of different selection schemes and exact analytical results are derived for traditional generational selection, steady-state selection with varying generation gap, a simple model of Eshelman's CHC algorithm, and evolution strategies. The effects of changing genetic drift on the convergence of a GA are demonstrated empirically."^^ . "1999-10" . . "3" . "4" . . "IEEE Transactions on Evolutionary Computation"^^ . . . . . . . . . . "A."^^ . "Rogers"^^ . . "A."^^ . "Prügel-Bennett"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/html" . . . "ID Plus Text Citation of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain; charset=utf-8" . . . "RDF+XML of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "application/rdf+xml" . . . "BibTeX of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain" . . . "RDF+N-Triples of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain" . . . "JSON of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/javascript; charset=utf-8" . . . "Dublin Core of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain; charset=utf-8" . . . "Refer of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain" . . . "METS of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain; charset=utf-8" . . . "HTML Citation of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/html; charset=utf-8" . . . "ASCII Citation of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain; charset=utf-8" . . . "YAML of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/xml" . . . "OpenURL ContextObject of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/xml; charset=utf-8" . . . "EndNote of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain; charset=utf-8" . . . "MODS of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/xml; charset=utf-8" . . . "DIDL of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/xml; charset=utf-8" . . . "EP3 XML of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/xml; charset=utf-8" . . . "Reference Manager of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/plain" . . . "RDF+N3 of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/n3" . . . "Eprints Application Profile of #688 Genetic Drift in Genetic Algorithm Selection Schemes" . "text/xml; charset=utf-8" . . . . "Recent Developments in Adaptive Iterative Learning Control"^^ . "Recent results on adaptive iterative learning control for linear plants are given. The use of high gain feedback is reviewed and a full proof of the convergence of a `Universal' adaptive scheme based on high gain concepts is given. By an extension to a standard adaptive control\ndesign, and by incorporating continuous learning along each path, it is shown how minimum phase and relative degree assumptions can be further relaxed."^^ . "1999" . "Volume" . . "IEEE"^^ . . . . . . . . . . . . . . . "G."^^ . "Munde"^^ . . "D.H."^^ . "Owens"^^ . . "M."^^ . "French"^^ . . "E."^^ . "Rogers"^^ . . . . "1999 IEEE Conference on Decision and Control"^^ . . . . . "HTML Summary of of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/html" . . . "ID Plus Text Citation of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain; charset=utf-8" . . . "RDF+XML of #701 Recent Developments in Adaptive Iterative Learning Control" . "application/rdf+xml" . . . "BibTeX of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain" . . . "RDF+N-Triples of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain" . . . "JSON of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/javascript; charset=utf-8" . . . "Dublin Core of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #701 Recent Developments in Adaptive Iterative Learning Control" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain; charset=utf-8" . . . "Refer of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain" . . . "METS of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #701 Recent Developments in Adaptive Iterative Learning Control" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain; charset=utf-8" . . . "HTML Citation of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/html; charset=utf-8" . . . "ASCII Citation of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain; charset=utf-8" . . . "YAML of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/xml" . . . "OpenURL ContextObject of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/xml; charset=utf-8" . . . "EndNote of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain; charset=utf-8" . . . "MODS of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/xml; charset=utf-8" . . . "DIDL of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/xml; charset=utf-8" . . . "EP3 XML of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/xml; charset=utf-8" . . . "Reference Manager of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/plain" . . . "RDF+N3 of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/n3" . . . "Eprints Application Profile of #701 Recent Developments in Adaptive Iterative Learning Control" . "text/xml; charset=utf-8" . . . . "An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design"^^ . "1999" . . "IEEE"^^ . . . . . . "M."^^ . "French"^^ . . . . "Proceedings of the 1999 IEEE Conference on Decision and Control"^^ . . . . . "HTML Summary of of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/html" . . . "ID Plus Text Citation of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain; charset=utf-8" . . . "RDF+XML of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "application/rdf+xml" . . . "BibTeX of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain" . . . "RDF+N-Triples of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain" . . . "JSON of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/javascript; charset=utf-8" . . . "Dublin Core of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain; charset=utf-8" . . . "Refer of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain" . . . "METS of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain; charset=utf-8" . . . "HTML Citation of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/html; charset=utf-8" . . . "ASCII Citation of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain; charset=utf-8" . . . "YAML of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/xml" . . . "OpenURL ContextObject of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/xml; charset=utf-8" . . . "EndNote of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain; charset=utf-8" . . . "MODS of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/xml; charset=utf-8" . . . "DIDL of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/xml; charset=utf-8" . . . "EP3 XML of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/xml; charset=utf-8" . . . "Reference Manager of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/plain" . . . "RDF+N3 of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/n3" . . . "Eprints Application Profile of #700 An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design" . "text/xml; charset=utf-8" . . . . "The ContentSpec Protocol: Providing Document Management Services for OHP"^^ . "Users often face difficulties in accessing documents referenced by open hypermedia systems due to the different protocols employed. This is particularly a problem for OHP as it will often need to access documents in many varied hyperbase systems stores or other third party information repositories when navigating links. This position paper proposes a document management protocol, called the ContentSpec Protocol (CSP), for use in combination with the OHP, and with open hypermedia systems in general. This protocol would enable standardised access to documents in third party data stores, creating a wider information space for open hypermedia users to explore."^^ . "1999-02" . . "CS-99-" . . . . . . . . . . . . . . "Jon-Paul"^^ . "Griffiths"^^ . . "Hugh C."^^ . "Davis"^^ . . "Sigi"^^ . "Reich"^^ . . "U.K."^^ . "Will"^^ . . . . "Proceedings of the 5th Workshop on Open Hypermedia Systems"^^ . . . . . . . . . . . "HTML Summary of of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/html" . . . "ID Plus Text Citation of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain; charset=utf-8" . . . "RDF+XML of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "application/rdf+xml" . . . "BibTeX of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain" . . . "RDF+N-Triples of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain" . . . "JSON of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/javascript; charset=utf-8" . . . "Dublin Core of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain; charset=utf-8" . . . "Refer of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain" . . . "METS of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain; charset=utf-8" . . . "HTML Citation of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/html; charset=utf-8" . . . "ASCII Citation of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain; charset=utf-8" . . . "YAML of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/xml" . . . "OpenURL ContextObject of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/xml; charset=utf-8" . . . "EndNote of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain; charset=utf-8" . . . "MODS of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/xml; charset=utf-8" . . . "DIDL of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/xml; charset=utf-8" . . . "EP3 XML of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/xml; charset=utf-8" . . . "Reference Manager of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/plain" . . . "RDF+N3 of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/n3" . . . "Eprints Application Profile of #703 The ContentSpec Protocol: Providing Document Management Services for OHP" . "text/xml; charset=utf-8" . . . . "ARBIB: An autonomous robot based on inspiration from biology"^^ . "2000" . . "31" . "4" . . "Robotics and Autonomous Systems"^^ . . . . . . . . . . . . . . "T. W."^^ . "Scutt"^^ . . "R. L. B."^^ . "French"^^ . . "R. I."^^ . "Damper"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/html" . . . "ID Plus Text Citation of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain; charset=utf-8" . . . "RDF+XML of #702 ARBIB: An autonomous robot based on inspiration from biology" . "application/rdf+xml" . . . "BibTeX of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain" . . . "RDF+N-Triples of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain" . . . "JSON of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/javascript; charset=utf-8" . . . "Dublin Core of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #702 ARBIB: An autonomous robot based on inspiration from biology" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain; charset=utf-8" . . . "Refer of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain" . . . "METS of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #702 ARBIB: An autonomous robot based on inspiration from biology" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain; charset=utf-8" . . . "HTML Citation of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/html; charset=utf-8" . "ASCII Citation of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain; charset=utf-8" . . . "YAML of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/xml" . . . "OpenURL ContextObject of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/xml; charset=utf-8" . . . "EndNote of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain; charset=utf-8" . . . "MODS of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/xml; charset=utf-8" . . . "DIDL of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/xml; charset=utf-8" . . . "EP3 XML of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/xml; charset=utf-8" . . . "Reference Manager of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/plain" . . . "RDF+N3 of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/n3" . . . "Eprints Application Profile of #702 ARBIB: An autonomous robot based on inspiration from biology" . "text/xml; charset=utf-8" . . . . "Open Information Services"^^ . "1996-05" . "28" . "7-11" . . "Computer Networks and ISDN Systems"^^ . . . . . . . . . . . . . . . . . . "Gary J."^^ . "Hill"^^ . . "Les A."^^ . "Carr"^^ . . "Hugh C."^^ . "Davis"^^ . . "David C."^^ . "DeRoure"^^ . . "Wendy"^^ . "Hall"^^ . . . . . "HTML Summary of of #771 Open Information Services" . "text/html" . . . "ID Plus Text Citation of #771 Open Information Services" . "text/plain; charset=utf-8" . . . "RDF+XML of #771 Open Information Services" . "application/rdf+xml" . . . "BibTeX of #771 Open Information Services" . "text/plain" . . . "RDF+N-Triples of #771 Open Information Services" . "text/plain" . . . "JSON of #771 Open Information Services" . "text/javascript; charset=utf-8" . . . "Dublin Core of #771 Open Information Services" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #771 Open Information Services" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #771 Open Information Services" . "text/plain; charset=utf-8" . . . "Refer of #771 Open Information Services" . "text/plain" . . . "METS of #771 Open Information Services" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #771 Open Information Services" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #771 Open Information Services" . "text/plain; charset=utf-8" . . . "HTML Citation of #771 Open Information Services" . "text/html; charset=utf-8" . . . "ASCII Citation of #771 Open Information Services" . "text/plain; charset=utf-8" . . . "YAML of #771 Open Information Services" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #771 Open Information Services" . "text/xml" . . . "OpenURL ContextObject of #771 Open Information Services" . "text/xml; charset=utf-8" . . . "EndNote of #771 Open Information Services" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #771 Open Information Services" . "text/plain; charset=utf-8" . . . "MODS of #771 Open Information Services" . "text/xml; charset=utf-8" . . . "DIDL of #771 Open Information Services" . "text/xml; charset=utf-8" . . . "EP3 XML of #771 Open Information Services" . "text/xml; charset=utf-8" . . . "Reference Manager of #771 Open Information Services" . "text/plain" . . . "RDF+N3 of #771 Open Information Services" . "text/n3" . . . "Eprints Application Profile of #771 Open Information Services" . "text/xml; charset=utf-8" . . . . "Hypermedia Links and Information Retrieval"^^ . "Link creation in most existing hypertext / hypermedia products is a time consuming task. Microcosm is an open hypermedia system, in which various dynamic techniques have been used to attempt to ease the task of linking large bodies of information. This paper introduces the Microcosm model, and focuses on a technique for using computational power for dynamically creating links, known as retrieval links. The algorithm used for creating retrieval links is described and some preliminary experiments to assess the value of this facility are discussed."^^ . "1992-04" . . . . . . . . . . . . . . . . "Hugh C."^^ . "Davis"^^ . . "Z."^^ . "Li"^^ . . "Wendy"^^ . "Hall"^^ . . . . "Presented at British Computer Society 14th Information Retrieval Colloqium, Lancaster University."^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #772 Hypermedia Links and Information Retrieval" . "text/html" . . . "ID Plus Text Citation of #772 Hypermedia Links and Information Retrieval" . "text/plain; charset=utf-8" . . . "RDF+XML of #772 Hypermedia Links and Information Retrieval" . "application/rdf+xml" . . . "BibTeX of #772 Hypermedia Links and Information Retrieval" . "text/plain" . . . "RDF+N-Triples of #772 Hypermedia Links and Information Retrieval" . "text/plain" . . . "JSON of #772 Hypermedia Links and Information Retrieval" . "text/javascript; charset=utf-8" . . . "Dublin Core of #772 Hypermedia Links and Information Retrieval" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #772 Hypermedia Links and Information Retrieval" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #772 Hypermedia Links and Information Retrieval" . "text/plain; charset=utf-8" . . . "Refer of #772 Hypermedia Links and Information Retrieval" . "text/plain" . . . "METS of #772 Hypermedia Links and Information Retrieval" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #772 Hypermedia Links and Information Retrieval" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #772 Hypermedia Links and Information Retrieval" . "text/plain; charset=utf-8" . . . "HTML Citation of #772 Hypermedia Links and Information Retrieval" . "text/html; charset=utf-8" . . . "ASCII Citation of #772 Hypermedia Links and Information Retrieval" . "text/plain; charset=utf-8" . . . "YAML of #772 Hypermedia Links and Information Retrieval" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #772 Hypermedia Links and Information Retrieval" . "text/xml" . . . "OpenURL ContextObject of #772 Hypermedia Links and Information Retrieval" . "text/xml; charset=utf-8" . . . "EndNote of #772 Hypermedia Links and Information Retrieval" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #772 Hypermedia Links and Information Retrieval" . "text/plain; charset=utf-8" . . . "MODS of #772 Hypermedia Links and Information Retrieval" . "text/xml; charset=utf-8" . . . "DIDL of #772 Hypermedia Links and Information Retrieval" . "text/xml; charset=utf-8" . . . "EP3 XML of #772 Hypermedia Links and Information Retrieval" . "text/xml; charset=utf-8" . . . "Reference Manager of #772 Hypermedia Links and Information Retrieval" . "text/plain" . . . "RDF+N3 of #772 Hypermedia Links and Information Retrieval" . "text/n3" . . . "Eprints Application Profile of #772 Hypermedia Links and Information Retrieval" . "text/xml; charset=utf-8" . . . . "A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation"^^ . "1998-01" . . . . "3312" . . . . . . . . "Paul H."^^ . "Lewis"^^ . . "Stephen T."^^ . "Perry"^^ . . . . "SPIE Conference on Storage and Retrieval for Image and Video Databases VI"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/html" . . . "ID Plus Text Citation of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain; charset=utf-8" . . . "RDF+XML of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "application/rdf+xml" . . . "BibTeX of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain" . . . "RDF+N-Triples of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain" . . . "JSON of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/javascript; charset=utf-8" . . . "Dublin Core of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain; charset=utf-8" . . . "Refer of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain" . . . "METS of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain; charset=utf-8" . . . "HTML Citation of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/html; charset=utf-8" . . . "ASCII Citation of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain; charset=utf-8" . . . "YAML of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/xml" . . . "OpenURL ContextObject of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/xml; charset=utf-8" . . . "EndNote of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain; charset=utf-8" . . . "MODS of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/xml; charset=utf-8" . . . "DIDL of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/xml; charset=utf-8" . . . "EP3 XML of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/xml; charset=utf-8" . . . "Reference Manager of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/plain" . . . "RDF+N3 of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/n3" . . . "Eprints Application Profile of #773 A Novel Image Viewer Providing Fast Object Delineation for Content Based Retrieval and Navigation" . "text/xml; charset=utf-8" . . . "The Communication Routines - A Network Layer Communication Model"^^ . "1995" . . . . "ECSTR " . . . . . "Jonathan"^^ . "Dale"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #774 The Communication Routines - A Network Layer Communication Model" . "text/html" . . . "ID Plus Text Citation of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain; charset=utf-8" . . . "RDF+XML of #774 The Communication Routines - A Network Layer Communication Model" . "application/rdf+xml" . . . "BibTeX of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain" . . . "RDF+N-Triples of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain" . . . "JSON of #774 The Communication Routines - A Network Layer Communication Model" . "text/javascript; charset=utf-8" . . . "Dublin Core of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #774 The Communication Routines - A Network Layer Communication Model" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain; charset=utf-8" . . . "Refer of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain" . . . "METS of #774 The Communication Routines - A Network Layer Communication Model" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #774 The Communication Routines - A Network Layer Communication Model" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain; charset=utf-8" . . . "HTML Citation of #774 The Communication Routines - A Network Layer Communication Model" . "text/html; charset=utf-8" . . . "ASCII Citation of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain; charset=utf-8" . . . "YAML of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #774 The Communication Routines - A Network Layer Communication Model" . "text/xml" . . . "OpenURL ContextObject of #774 The Communication Routines - A Network Layer Communication Model" . "text/xml; charset=utf-8" . . . "EndNote of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain; charset=utf-8" . . . "MODS of #774 The Communication Routines - A Network Layer Communication Model" . "text/xml; charset=utf-8" . . . "DIDL of #774 The Communication Routines - A Network Layer Communication Model" . "text/xml; charset=utf-8" . . . "EP3 XML of #774 The Communication Routines - A Network Layer Communication Model" . "text/xml; charset=utf-8" . . . "Reference Manager of #774 The Communication Routines - A Network Layer Communication Model" . "text/plain" . . . "RDF+N3 of #774 The Communication Routines - A Network Layer Communication Model" . "text/n3" . . . "Eprints Application Profile of #774 The Communication Routines - A Network Layer Communication Model" . "text/xml; charset=utf-8" . . . "Achieving User Interface Heterogeneity in a Distributed Environment"^^ . "The introduction of distribution into the field of computing has enhanced the possibilities of information processing and interchange on scales which could not previously be achieved with stand-alone machines. However, the successful distribution of a process across a distributed system requires three problems to be considered; how the functionality of a process is distributed, how the data set on which the process works is distributed and how the interface that allows the process to communicate with the outside world is distributed.\nThe focus of the work in this paper lies in describing a model that attempts to provide a solution to the latter problem. The model that has been developed allows the functionality of a process to be separated from and to exist independently from its interface and employs user interface independent display languages to provide distributed and heterogeneous user interfaces to processes. This separation also facilitates access to a service from diverse platforms and can support user interface mobility and third-party application integration.\nThe goals and advantages of this model are partially realised in a prototype that has been designed around the WWW and its associated protocols, and it is predicted how the model could be fully realised by adopting a modular and object-oriented approach, as advocated by the Java programming environment."^^ . "1996-04" . . . . "ECSTR " . . . . . "Jonathan"^^ . "Dale"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/html" . . . "ID Plus Text Citation of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain; charset=utf-8" . . . "RDF+XML of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "application/rdf+xml" . . . "BibTeX of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain" . . . "RDF+N-Triples of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain" . . . "JSON of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/javascript; charset=utf-8" . . . "Dublin Core of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain; charset=utf-8" . . . "Refer of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain" . . . "METS of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain; charset=utf-8" . . . "HTML Citation of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/html; charset=utf-8" . . . "ASCII Citation of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain; charset=utf-8" . . . "YAML of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/xml" . . . "OpenURL ContextObject of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/xml; charset=utf-8" . . . "EndNote of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain; charset=utf-8" . . . "MODS of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/xml; charset=utf-8" . . . "DIDL of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/xml; charset=utf-8" . . . "EP3 XML of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/xml; charset=utf-8" . . . "Reference Manager of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/plain" . . . "RDF+N3 of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/n3" . . . "Eprints Application Profile of #775 Achieving User Interface Heterogeneity in a Distributed Environment" . "text/xml; charset=utf-8" . . . . "Dynamic Link Inclusion in Online PDF Journals"^^ . "1998-04" . . . . . . . . . . . . . . . "S."^^ . "Probets"^^ . . "Les A."^^ . "Carr"^^ . . "D."^^ . "Brailsford"^^ . . "Wendy"^^ . "Hall"^^ . . . . "Proceedings of the Seventh International Conference on Electronic Publishing, Document Manipulation and Typography"^^ . . . . . . . . . . . . . . . . "HTML Summary of of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/html" . . . "ID Plus Text Citation of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain; charset=utf-8" . . . "RDF+XML of #761 Dynamic Link Inclusion in Online PDF Journals" . "application/rdf+xml" . . . "BibTeX of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain" . . . "RDF+N-Triples of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain" . . . "JSON of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/javascript; charset=utf-8" . . . "Dublin Core of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #761 Dynamic Link Inclusion in Online PDF Journals" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain; charset=utf-8" . . . "Refer of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain" . . . "METS of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #761 Dynamic Link Inclusion in Online PDF Journals" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain; charset=utf-8" . . . "HTML Citation of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/html; charset=utf-8" . . . "ASCII Citation of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain; charset=utf-8" . . . "YAML of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/xml" . . . "OpenURL ContextObject of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/xml; charset=utf-8" . . . "EndNote of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain; charset=utf-8" . . . "MODS of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/xml; charset=utf-8" . . . "DIDL of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/xml; charset=utf-8" . . . "EP3 XML of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/xml; charset=utf-8" . . . "Reference Manager of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/plain" . . . "RDF+N3 of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/n3" . . . "Eprints Application Profile of #761 Dynamic Link Inclusion in Online PDF Journals" . "text/xml; charset=utf-8" . . . . "Naming in OHP"^^ . "Naming is a key issue in any distributed system. In particular, with the Open Hypermedia Systems Working Group's efforts towards openness and interoperability in Open Hypermedia Systems (OHS) resulting in the need for (globally) valid names for all types of resources the issue of naming has become increasingly important. In this position paper we examine the issues involved in naming and a naming proposal to be used within the Open Hypermedia Protocol (OHP)."^^ . "1999-02" . . . . . . . . . . . . . . . "Sigi"^^ . "Reich"^^ . . "Uffe K."^^ . "Wiil"^^ . . "David E."^^ . "Millard"^^ . . "Hugh C."^^ . "Davis"^^ . . . . "Proceedings of the 5th Workshop on Open Hypermedia Systems, ACM Hypertext '99 Conference, Darmstadt, Germany, February 21-25"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #822 Naming in OHP" . "text/html" . . . "ID Plus Text Citation of #822 Naming in OHP" . "text/plain; charset=utf-8" . . . "RDF+XML of #822 Naming in OHP" . "application/rdf+xml" . . . "BibTeX of #822 Naming in OHP" . "text/plain" . . . "RDF+N-Triples of #822 Naming in OHP" . "text/plain" . . . "JSON of #822 Naming in OHP" . "text/javascript; charset=utf-8" . . . "Dublin Core of #822 Naming in OHP" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #822 Naming in OHP" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #822 Naming in OHP" . "text/plain; charset=utf-8" . . . "Refer of #822 Naming in OHP" . "text/plain" . . . "METS of #822 Naming in OHP" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #822 Naming in OHP" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #822 Naming in OHP" . "text/plain; charset=utf-8" . . . "HTML Citation of #822 Naming in OHP" . "text/html; charset=utf-8" . . . "ASCII Citation of #822 Naming in OHP" . "text/plain; charset=utf-8" . . . "YAML of #822 Naming in OHP" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #822 Naming in OHP" . "text/xml" . . . "OpenURL ContextObject of #822 Naming in OHP" . "text/xml; charset=utf-8" . . . "EndNote of #822 Naming in OHP" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #822 Naming in OHP" . "text/plain; charset=utf-8" . . . "MODS of #822 Naming in OHP" . "text/xml; charset=utf-8" . . . "DIDL of #822 Naming in OHP" . "text/xml; charset=utf-8" . . . "EP3 XML of #822 Naming in OHP" . "text/xml; charset=utf-8" . . . "Reference Manager of #822 Naming in OHP" . "text/plain" . . . "RDF+N3 of #822 Naming in OHP" . "text/n3" . . . "Eprints Application Profile of #822 Naming in OHP" . "text/xml; charset=utf-8" . . . . "Application-Independent Link Processing"^^ . "The use of a hypertext link service to augment the WWW has been demonstrated in an experimental environment. Now that the WWW community is addressing the issues of hypertext linking in the form of XLL, it is necessary to look hard at the issues of link semantics. Of particular interest is how semantics can be communicated to a general browser, given the contrasting approaches of link interpretation from the SGML and hypertext research communities."^^ . "1998-05" . . . . . . . . . . . . . . . "Les A."^^ . "Carr"^^ . . "Hugh C."^^ . "Davis"^^ . . "David C."^^ . "DeRoure"^^ . . "Wendy"^^ . "Hall"^^ . . . . "Seventh International World-Wide Web Conference"^^ . . . . . . . . . "HTML Summary of of #820 Application-Independent Link Processing" . "text/html" . . . "ID Plus Text Citation of #820 Application-Independent Link Processing" . "text/plain; charset=utf-8" . . . "RDF+XML of #820 Application-Independent Link Processing" . "application/rdf+xml" . . . "BibTeX of #820 Application-Independent Link Processing" . "text/plain" . . . "RDF+N-Triples of #820 Application-Independent Link Processing" . "text/plain" . . . "JSON of #820 Application-Independent Link Processing" . "text/javascript; charset=utf-8" . . . "Dublin Core of #820 Application-Independent Link Processing" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #820 Application-Independent Link Processing" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #820 Application-Independent Link Processing" . "text/plain; charset=utf-8" . . . "Refer of #820 Application-Independent Link Processing" . "text/plain" . . . "METS of #820 Application-Independent Link Processing" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #820 Application-Independent Link Processing" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #820 Application-Independent Link Processing" . "text/plain; charset=utf-8" . . . "HTML Citation of #820 Application-Independent Link Processing" . "text/html; charset=utf-8" . . . "ASCII Citation of #820 Application-Independent Link Processing" . "text/plain; charset=utf-8" . . . "YAML of #820 Application-Independent Link Processing" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #820 Application-Independent Link Processing" . "text/xml" . . . "OpenURL ContextObject of #820 Application-Independent Link Processing" . "text/xml; charset=utf-8" . . . "EndNote of #820 Application-Independent Link Processing" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #820 Application-Independent Link Processing" . "text/plain; charset=utf-8" . . . "MODS of #820 Application-Independent Link Processing" . "text/xml; charset=utf-8" . . . "DIDL of #820 Application-Independent Link Processing" . "text/xml; charset=utf-8" . . . "EP3 XML of #820 Application-Independent Link Processing" . "text/xml; charset=utf-8" . . . "Reference Manager of #820 Application-Independent Link Processing" . "text/plain" . . . "RDF+N3 of #820 Application-Independent Link Processing" . "text/n3" . . . "Eprints Application Profile of #820 Application-Independent Link Processing" . "text/xml; charset=utf-8" . . . "User Evaluation of an Industrial Hypermedia Application."^^ . "The industrial hypermedia evaluation process, reported here, used shop-floor operators, and maintenance technicians from the industrial environment. The evaluation focused on the subjective opinion of the users and measured the ease with which users could retrieve the information required to perform specific tasks. This report describes the rationale behind the approach used and then draws these together to give a methodology for evaluating an industrial strength hypermedia application. This report then presents the results of the user trials."^^ . "1999-03" . . "M99/2" . . "University of Southampton"^^ . . . . . . . . . . . . . . . "Gary B."^^ . "Wills"^^ . . "Richard M."^^ . "Crowder"^^ . . "Ian"^^ . "Heath"^^ . . "Wendy"^^ . "Hall"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #821 User Evaluation of an Industrial Hypermedia Application." . "text/html" . . . "ID Plus Text Citation of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "RDF+XML of #821 User Evaluation of an Industrial Hypermedia Application." . "application/rdf+xml" . . . "BibTeX of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain" . . . "RDF+N-Triples of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain" . . . "JSON of #821 User Evaluation of an Industrial Hypermedia Application." . "text/javascript; charset=utf-8" . . . "Dublin Core of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #821 User Evaluation of an Industrial Hypermedia Application." . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "Refer of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain" . . . "METS of #821 User Evaluation of an Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #821 User Evaluation of an Industrial Hypermedia Application." . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "HTML Citation of #821 User Evaluation of an Industrial Hypermedia Application." . "text/html; charset=utf-8" . . . "ASCII Citation of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "YAML of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #821 User Evaluation of an Industrial Hypermedia Application." . "text/xml" . . . "OpenURL ContextObject of #821 User Evaluation of an Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "EndNote of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "MODS of #821 User Evaluation of an Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "DIDL of #821 User Evaluation of an Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "EP3 XML of #821 User Evaluation of an Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "Reference Manager of #821 User Evaluation of an Industrial Hypermedia Application." . "text/plain" . . . "RDF+N3 of #821 User Evaluation of an Industrial Hypermedia Application." . "text/n3" . . . "Eprints Application Profile of #821 User Evaluation of an Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "Factory Information Resource Management: Industrial Strength Hypermedia?"^^ . "This paper examines some of the issues involved in developing an industrial strength hypermedia application for use across a manufacturing enterprise. In order to meet this objective, a range of topics need to be addressed, including the user interface, application authoring and portability of information, revision control, and communicating with external resources. These principles are discussed with reference to previous work at Southampton, namely the hypermedia application developed for Pirelli Cables, Aberdare."^^ . "1997" . . "ECSTR " . . . . . . . . . . . . . . "Gary B."^^ . "Wills"^^ . . "Richard M."^^ . "Crowder"^^ . . "Ian"^^ . "Heath"^^ . . "Wendy"^^ . "Hall"^^ . . . . . . . . . "HTML Summary of of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/html" . . . "ID Plus Text Citation of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain; charset=utf-8" . . . "RDF+XML of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "application/rdf+xml" . . . "BibTeX of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain" . . . "RDF+N-Triples of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain" . . . "JSON of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/javascript; charset=utf-8" . . . "Dublin Core of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain; charset=utf-8" . . . "Refer of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain" . . . "METS of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain; charset=utf-8" . . . "HTML Citation of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/html; charset=utf-8" . . . "ASCII Citation of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain; charset=utf-8" . . . "YAML of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/xml" . . . "OpenURL ContextObject of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/xml; charset=utf-8" . . . "EndNote of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain; charset=utf-8" . . . "MODS of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/xml; charset=utf-8" . . . "DIDL of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/xml; charset=utf-8" . . . "EP3 XML of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/xml; charset=utf-8" . . . "Reference Manager of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/plain" . . . "RDF+N3 of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/n3" . . . "Eprints Application Profile of #823 Factory Information Resource Management: Industrial Strength Hypermedia?" . "text/xml; charset=utf-8" . . . . "Distributing Prograph Programs using Lisp"^^ . "1996-09" . . . . . . . . . . . "S."^^ . "Maclean"^^ . . "David C."^^ . "DeRoure"^^ . . "Werner"^^ . "Kluge"^^ . . . . "Proceedings of the 8th International Workshop on Implementation of Functional Languages"^^ . . . . . "HTML Summary of of #824 Distributing Prograph Programs using Lisp" . "text/html" . . . "ID Plus Text Citation of #824 Distributing Prograph Programs using Lisp" . "text/plain; charset=utf-8" . . . "RDF+XML of #824 Distributing Prograph Programs using Lisp" . "application/rdf+xml" . . . "BibTeX of #824 Distributing Prograph Programs using Lisp" . "text/plain" . . . "RDF+N-Triples of #824 Distributing Prograph Programs using Lisp" . "text/plain" . . . "JSON of #824 Distributing Prograph Programs using Lisp" . "text/javascript; charset=utf-8" . . . "Dublin Core of #824 Distributing Prograph Programs using Lisp" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #824 Distributing Prograph Programs using Lisp" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #824 Distributing Prograph Programs using Lisp" . "text/plain; charset=utf-8" . . . "Refer of #824 Distributing Prograph Programs using Lisp" . "text/plain" . . . "METS of #824 Distributing Prograph Programs using Lisp" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #824 Distributing Prograph Programs using Lisp" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #824 Distributing Prograph Programs using Lisp" . "text/plain; charset=utf-8" . . . "HTML Citation of #824 Distributing Prograph Programs using Lisp" . "text/html; charset=utf-8" . . . "ASCII Citation of #824 Distributing Prograph Programs using Lisp" . "text/plain; charset=utf-8" . . . "YAML of #824 Distributing Prograph Programs using Lisp" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #824 Distributing Prograph Programs using Lisp" . "text/xml" . . . "OpenURL ContextObject of #824 Distributing Prograph Programs using Lisp" . "text/xml; charset=utf-8" . . . "EndNote of #824 Distributing Prograph Programs using Lisp" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #824 Distributing Prograph Programs using Lisp" . "text/plain; charset=utf-8" . . . "MODS of #824 Distributing Prograph Programs using Lisp" . "text/xml; charset=utf-8" . . . "DIDL of #824 Distributing Prograph Programs using Lisp" . "text/xml; charset=utf-8" . . . "EP3 XML of #824 Distributing Prograph Programs using Lisp" . "text/xml; charset=utf-8" . . . "Reference Manager of #824 Distributing Prograph Programs using Lisp" . "text/plain" . . . "RDF+N3 of #824 Distributing Prograph Programs using Lisp" . "text/n3" . . . "Eprints Application Profile of #824 Distributing Prograph Programs using Lisp" . "text/xml; charset=utf-8" . . . "Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application."^^ . "This report covers the second part of the structured expert review evaluation of a pilot hypermedia application for the Factory Information Resource Management (FIRM) project. The evaluation process used experts from the industrial environment. The evaluation focuses on the usability of the proposed application in the industrial environment. This report presents the rational behind the evaluation and the design criteria to be evaluated. In addition the procedure used and the results of the evaluation are present along with the lessons learnt."^^ . "1998-06" . . "ECSTR " . . . . . . . . . . . . . . "Gary B."^^ . "Wills"^^ . . "Richard M."^^ . "Crowder"^^ . . "Ian"^^ . "Heath"^^ . . "Wendy"^^ . "Hall"^^ . . . . . . . . . . . . . . . "HTML Summary of of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/html" . . . "ID Plus Text Citation of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "RDF+XML of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "application/rdf+xml" . . . "BibTeX of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain" . . . "RDF+N-Triples of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain" . . . "JSON of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/javascript; charset=utf-8" . . . "Dublin Core of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "Refer of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain" . . . "METS of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "HTML Citation of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/html; charset=utf-8" . . . "ASCII Citation of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "YAML of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/xml" . . . "OpenURL ContextObject of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "EndNote of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain; charset=utf-8" . "MODS of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "DIDL of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "EP3 XML of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "Reference Manager of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/plain" . . . "RDF+N3 of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/n3" . . . "Eprints Application Profile of #837 Expert Review for the Pilot of a Large-scale Industrial Hypermedia Application." . "text/xml; charset=utf-8" . . . "Approaches to System Integration For Distributed Information Management"^^ . "1998-10" . . . "MM98/7" . . . . . "Samhaa"^^ . "El-Beltagy"^^ . . . . . . . . . . . . . . . "HTML Summary of of #836 Approaches to System Integration For Distributed Information Management" . "text/html" . . . "ID Plus Text Citation of #836 Approaches to System Integration For Distributed Information Management" . "text/plain; charset=utf-8" . . . "RDF+XML of #836 Approaches to System Integration For Distributed Information Management" . "application/rdf+xml" . . . "BibTeX of #836 Approaches to System Integration For Distributed Information Management" . "text/plain" . . . "RDF+N-Triples of #836 Approaches to System Integration For Distributed Information Management" . "text/plain" . . . "JSON of #836 Approaches to System Integration For Distributed Information Management" . "text/javascript; charset=utf-8" . . . "Dublin Core of #836 Approaches to System Integration For Distributed Information Management" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #836 Approaches to System Integration For Distributed Information Management" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #836 Approaches to System Integration For Distributed Information Management" . "text/plain; charset=utf-8" . . . "Refer of #836 Approaches to System Integration For Distributed Information Management" . "text/plain" . . . "METS of #836 Approaches to System Integration For Distributed Information Management" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #836 Approaches to System Integration For Distributed Information Management" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #836 Approaches to System Integration For Distributed Information Management" . "text/plain; charset=utf-8" . . . "HTML Citation of #836 Approaches to System Integration For Distributed Information Management" . "text/html; charset=utf-8" . . . "ASCII Citation of #836 Approaches to System Integration For Distributed Information Management" . "text/plain; charset=utf-8" . . . "YAML of #836 Approaches to System Integration For Distributed Information Management" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #836 Approaches to System Integration For Distributed Information Management" . "text/xml" . . . "OpenURL ContextObject of #836 Approaches to System Integration For Distributed Information Management" . "text/xml; charset=utf-8" . . . "EndNote of #836 Approaches to System Integration For Distributed Information Management" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #836 Approaches to System Integration For Distributed Information Management" . "text/plain; charset=utf-8" . . . "MODS of #836 Approaches to System Integration For Distributed Information Management" . "text/xml; charset=utf-8" . . . "DIDL of #836 Approaches to System Integration For Distributed Information Management" . "text/xml; charset=utf-8" . . . "EP3 XML of #836 Approaches to System Integration For Distributed Information Management" . "text/xml; charset=utf-8" . . . "Reference Manager of #836 Approaches to System Integration For Distributed Information Management" . "text/plain" . . . "RDF+N3 of #836 Approaches to System Integration For Distributed Information Management" . "text/n3" . . . "Eprints Application Profile of #836 Approaches to System Integration For Distributed Information Management" . "text/xml; charset=utf-8" . . . "HyperCard Extensions for Multimedia Databases."^^ . "1988" . "ECSTR " . . . . . "Les A."^^ . "Carr"^^ . . . . . "HTML Summary of of #835 HyperCard Extensions for Multimedia Databases." . "text/html" . . . "ID Plus Text Citation of #835 HyperCard Extensions for Multimedia Databases." . "text/plain; charset=utf-8" . . . "RDF+XML of #835 HyperCard Extensions for Multimedia Databases." . "application/rdf+xml" . . . "BibTeX of #835 HyperCard Extensions for Multimedia Databases." . "text/plain" . . . "RDF+N-Triples of #835 HyperCard Extensions for Multimedia Databases." . "text/plain" . . . "JSON of #835 HyperCard Extensions for Multimedia Databases." . "text/javascript; charset=utf-8" . . . "Dublin Core of #835 HyperCard Extensions for Multimedia Databases." . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #835 HyperCard Extensions for Multimedia Databases." . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #835 HyperCard Extensions for Multimedia Databases." . "text/plain; charset=utf-8" . . . "Refer of #835 HyperCard Extensions for Multimedia Databases." . "text/plain" . . . "METS of #835 HyperCard Extensions for Multimedia Databases." . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #835 HyperCard Extensions for Multimedia Databases." . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #835 HyperCard Extensions for Multimedia Databases." . "text/plain; charset=utf-8" . . . "HTML Citation of #835 HyperCard Extensions for Multimedia Databases." . "text/html; charset=utf-8" . . . "ASCII Citation of #835 HyperCard Extensions for Multimedia Databases." . "text/plain; charset=utf-8" . . . "YAML of #835 HyperCard Extensions for Multimedia Databases." . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #835 HyperCard Extensions for Multimedia Databases." . "text/xml" . . . "OpenURL ContextObject of #835 HyperCard Extensions for Multimedia Databases." . "text/xml; charset=utf-8" . . . "EndNote of #835 HyperCard Extensions for Multimedia Databases." . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #835 HyperCard Extensions for Multimedia Databases." . "text/plain; charset=utf-8" . . . "MODS of #835 HyperCard Extensions for Multimedia Databases." . "text/xml; charset=utf-8" . . . "DIDL of #835 HyperCard Extensions for Multimedia Databases." . "text/xml; charset=utf-8" . . . "EP3 XML of #835 HyperCard Extensions for Multimedia Databases." . "text/xml; charset=utf-8" . . . "Reference Manager of #835 HyperCard Extensions for Multimedia Databases." . "text/plain" . . . "RDF+N3 of #835 HyperCard Extensions for Multimedia Databases." . "text/n3" . . . "Eprints Application Profile of #835 HyperCard Extensions for Multimedia Databases." . "text/xml; charset=utf-8" . . . . "A Mobile Agent Architecture to Support Distributed Resource Information Management"^^ . "The problems of information management on a large and distributed scale have become highly apparent during the last five years. The information explosion that has taken place, particularly with the exponential growth of the World Wide Web, has shown that users treat information, especially hyperlinked information, as a valuable resource. However, the electronic information community is already showing signs of what has been commonly termed `information overload'. This trend will continue to increase unless users are equipped with the necessary tools to allow them to mine and navigate this commodity.\nThe current set of tools that are available to the user, whilst useful, have proven to be of limited use, due to the fact that they only individually deal with relatively small subsets of the global information available.\nThis thesis advocates the integration of two technologies; distributed information management to provide tools to allow the user to discover, navigate and control information and mobile agent technology to allow the user to access and manage information that is distributed over large areas.\nIt also presents a framework within which mobile agents can move across distributed environments, integrate with local resources and other mobile agents, and communicate the results of their activities back to the user. This framework can then be used to build mobile agents that perform user-driven tasks to fulfil distributed information management goals."^^ . "1996-01" . . . . . . . . . "Jonathan"^^ . "Dale"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "HTML Summary of of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/html" . . . "ID Plus Text Citation of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain; charset=utf-8" . . . "RDF+XML of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "application/rdf+xml" . . . "BibTeX of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain" . . . "RDF+N-Triples of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain" . . . "JSON of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/javascript; charset=utf-8" . . . "Dublin Core of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain; charset=utf-8" . . . "Refer of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain" . . . "METS of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain; charset=utf-8" . . . "HTML Citation of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/html; charset=utf-8" . . . "ASCII Citation of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain; charset=utf-8" . . . "YAML of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/xml" . . . "OpenURL ContextObject of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/xml; charset=utf-8" . . . "EndNote of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain; charset=utf-8" . . . "MODS of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/xml; charset=utf-8" . . . "DIDL of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/xml; charset=utf-8" . . . "EP3 XML of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/xml; charset=utf-8" . . . "Reference Manager of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/plain" . . . "RDF+N3 of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/n3" . . . "Eprints Application Profile of #825 A Mobile Agent Architecture to Support Distributed Resource Information Management" . "text/xml; charset=utf-8" . . . "QPL2"^^ . "1989" . "CSTR 8" . . . . . "David C."^^ . "DeRoure"^^ . . . . . "HTML Summary of of #826 QPL2" . "text/html" . . . "ID Plus Text Citation of #826 QPL2" . "text/plain; charset=utf-8" . . . "RDF+XML of #826 QPL2" . "application/rdf+xml" . . . "BibTeX of #826 QPL2" . "text/plain" . . . "RDF+N-Triples of #826 QPL2" . "text/plain" . . . "JSON of #826 QPL2" . "text/javascript; charset=utf-8" . . . "Dublin Core of #826 QPL2" . "text/plain; charset=utf-8" . . . "OAI-ORE Resource Map (Atom Format) of #826 QPL2" . "application/atom+xml; charset=utf-8" . . . "Simple Metadata of #826 QPL2" . "text/plain; charset=utf-8" . . . "Refer of #826 QPL2" . "text/plain" . . . "METS of #826 QPL2" . "text/xml; charset=utf-8" . . . "OAI-ORE Resource Map (RDF Format) of #826 QPL2" . "application/rdf+xml; charset=utf-8" . . . "Search Data Dump of #826 QPL2" . "text/plain; charset=utf-8" . . . "HTML Citation of #826 QPL2" . "text/html; charset=utf-8" . . . "ASCII Citation of #826 QPL2" . "text/plain; charset=utf-8" . . . "YAML of #826 QPL2" . "text/plain; charset=utf-8" . . . "EPrints Application Profile (experimental) of #826 QPL2" . "text/xml" . . . "OpenURL ContextObject of #826 QPL2" . "text/xml; charset=utf-8" . . . "EndNote of #826 QPL2" . "text/plain; charset=utf-8" . . . "OpenURL ContextObject in Span of #826 QPL2" . "text/plain; charset=utf-8" . . . "MODS of #826 QPL2" . "text/xml; charset=utf-8" . . . "DIDL of #826 QPL2" . "text/xml; charset=utf-8" . . . "EP3 XML of #826 QPL2" . "text/xml; charset=utf-8" . . . "Reference Manager of #826 QPL2" . "text/plain" . . . "RDF+N3 of #826 QPL2" . "text/n3" . . . "Eprints Application Profile of #826 QPL2" . "text/xml; charset=utf-8" . . . . "Open Hypermedia and Streaming Audio"^^ . "Audio media is one of the most neglected areas in the Hypermedia / Multimedia domain. To play sound files in traditional hypermedia systems, for example the World Wide Web (WWW), users click upon links (or hyperlinks) within a browser. This action will download the sound file to the local machine and then activate an application to play the file. More recently however, applications can stream the file over the network instead, thus reducing the overhead of having to download it first. \nIn multimedia applications such as Microsoft Encarta, users click on areas of the screen called ``hot-spots'' that will cause an event to occur. This event could cause an audio file to be played, a picture to be displayed or it could cause some other event. In both of these systems audio is usually just the result or side-effect of some action caused by the user. \nIn the Hypermedia domain the information required to traverse the links is embedded within the document using the HyperText Markup Language (HTML). In multimedia systems the link information is stored in an internal format, which the user does not have access to. This creates problems because only the original author of the hypertext or multimedia document can modify, edit or create new links. Therefore because this link information is difficult to modify, these systems are known as ``closed'' systems. \nThe aim of this research is to investigate how audio could be used in Open Hypermedia Systems, specifically how links can be used with streaming audio."^^ . "1998-07" . . . . . . . . . "Neil"^^ . "Ridgway"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Tailoring the thermal Casimir force with graphene "^^ . "The Casimir interaction is omnipresent source of forces at small separations between bodies, which is difficult to change by varying external conditions. Here we show that graphene interacting with a metal can have the best known force contrast to the temperature and the Fermi level variations. In the distance range 50–300 nm the force is measurable and can vary a few times for graphene with a bandgap much larger than the temperature. In this distance range the main part of the force is due to the thermal fluctuations. We discuss also graphene on a dielectric membrane as a technologically robust configuration."^^ . "2011" . . "96" . "1" . . "IOP"^^ . . . "Europhysics letters (EPL)"^^ . . . . . . . . . . . . . . . . . "Hiroshi"^^ . "Mizuta"^^ . "Hiroshi Mizuta"^^ . . "Zakaria"^^ . "Moktadir"^^ . "Zakaria Moktadir"^^ . . "V"^^ . "Svetovoy"^^ . "V Svetovoy"^^ . . "M"^^ . "Elwenspoek"^^ . "M Elwenspoek"^^ . . . . . . . . . "Tailoring the thermal Casimir force with graphene (PDF)"^^ . . . "epl13858-offprints.pdf"^^ . . . "Tailoring the thermal Casimir force with graphene (Image (PNG))"^^ . . . . . . "lightbox.jpg"^^ . . . "Tailoring the thermal Casimir force with graphene (Image (PNG))"^^ . . . . . . "preview.jpg"^^ . . . "Tailoring the thermal Casimir force with graphene (Image (PNG))"^^ . . . . . . "medium.jpg"^^ . . . "Tailoring the thermal Casimir force with graphene (Image (PNG))"^^ . . . . . . "small.jpg"^^ . . . "Tailoring the thermal Casimir force with graphene (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #22830 \n\nTailoring the thermal Casimir force with graphene\n\n" . "text/html" . . "14006" . "p1" . . . "Recognition of planar objects in 3D space"^^ . "1998" . "2" . . . . . . . . "H.C."^^ . "Sim"^^ . "H.C. Sim"^^ . . "R.I."^^ . "Damper"^^ . "R.I. Damper"^^ . . . . "9th British Machine Vision Conference (BMVC'98), Southampton, UK"^^ . . . . . . . . "HTML Summary of #425 \n\nRecognition of planar objects in 3D space\n\n" . "text/html" . . "894" . "903" . . . "Comparing Different Template Features for Recognizing People by Their Gait"^^ . "To recognize people by their gait from a sequence of images, we have proposed a statistical approach which combined\neigenspace transformation (EST) with canonical space transformation (CST) for feature transformation of spatial\ntemplates. This approach is used to reduce data dimensionality and to optimize the class separability of different gait\nsequences simultaneously. Good recognition rates have been achieved. Here, we incorporate temporal information from\noptical flows into three kinds of temporal templates and use them as features for gait recognition in addition to the spatial\ntemplates. The recognition performance for four kinds of template features has been evaluated in this paper. Experimental\nresults show that spatial templates, horizontal-flow templates and the combined horizontal-flow and vertical-flow\ntemplates are better than vertical-flow templates for gait recognition."^^ . "1998-09" . . "2" . . "BMVA"^^ . . . . . . . . . . . . "M.S."^^ . "Nixon"^^ . "M.S. Nixon"^^ . . "C.J."^^ . "Harris"^^ . "C.J. Harris"^^ . . "P.S."^^ . "Huang"^^ . "P.S. Huang"^^ . . . . "Proc. of Ninth British Machine Vision Conference"^^ . . . . . . . . . . "Comparing Different Template Features for Recognizing People by Their Gait (PDF)"^^ . . . . . . . . . "P049.PDF"^^ . . . "Comparing Different Template Features for Recognizing People by Their Gait (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Comparing Different Template Features for Recognizing People by Their Gait (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . "HTML Summary of #437 \n\nComparing Different Template Features for Recognizing People by Their Gait\n\n" . "text/html" . . "639" . "648" . . . "Neural techniques for path linking, with application to image processing"^^ . "1998" . . . . . . . . . "S.J."^^ . "Gilson"^^ . "S.J. Gilson"^^ . . "R.I."^^ . "Damper"^^ . "R.I. Damper"^^ . . . . "International ICSC/IFAC Symposium on Neural Computation (NC'98), Vienna, Austria"^^ . . . . . . . . . "Neural techniques for path linking, with application to image processing (Postscript)"^^ . . . . . . . . . "paper.ps"^^ . . . "Neural techniques for path linking, with application to image processing (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "Neural techniques for path linking, with application to image processing (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . "HTML Summary of #426 \n\nNeural techniques for path linking, with application to image processing\n\n" . "text/html" . . "488" . "494" . . . "Comparative evaluation of letter-to-sound conversion techniques for English text-to-speech synthesis"^^ . "1998" . . . "European Speech Communication Association"^^ . . . . . . . . . . . . . . . "K."^^ . "Gustafson"^^ . "K. Gustafson"^^ . . "Y."^^ . "Marchand"^^ . "Y. Marchand"^^ . . "M.J."^^ . "Adamson"^^ . "M.J. Adamson"^^ . . "R.I."^^ . "Damper"^^ . "R.I. Damper"^^ . . . . "3rd ESCA/COCOSDA International Workshop on Speech Synthesis, Jenolan Caves, Australia"^^ . . . . . . . . . "Comparative evaluation of letter-to-sound conversion techniques for English text-to-speech synthesis (Postscript)"^^ . . . . . . . . . "paper.ps"^^ . . . "Comparative evaluation of letter-to-sound conversion techniques for English text-to-speech synthesis (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Comparative evaluation of letter-to-sound conversion techniques for English text-to-speech synthesis (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #427 \n\nComparative evaluation of letter-to-sound conversion techniques for English text-to-speech synthesis\n\n" . "text/html" . . "53" . "58" . . . "Improving pronunciation by analogy for text-to-speech applications"^^ . "1998" . . . "European Speech Communication Association"^^ . . . . . . . . . "Y."^^ . "Marchand"^^ . "Y. Marchand"^^ . . "R.I."^^ . "Damper"^^ . "R.I. Damper"^^ . . . . "3rd ESCA/COCOSDA International Workshop on Speech Synthesis, Jenolan Caves, Australia"^^ . . . . . . . . . "Improving pronunciation by analogy for text-to-speech applications (Postscript)"^^ . . . . . . . . . "paper.ps"^^ . . . "Improving pronunciation by analogy for text-to-speech applications (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Improving pronunciation by analogy for text-to-speech applications (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #428 \n\nImproving pronunciation by analogy for text-to-speech applications\n\n" . "text/html" . . "65" . "70" . . . "On the learnability of the voicing contrast for initial stops"^^ . "1998" . . "5" . . . . . . . . "R.I."^^ . "Damper"^^ . "R.I. Damper"^^ . . "S.R."^^ . "Gunn"^^ . "S.R. Gunn"^^ . . . . "5th International Conference on Spoken Language Processing, Sydney, Australia"^^ . . . . . . . . . . . "On the learnability of the voicing contrast for initial stops (Postscript)"^^ . . . "paper.ps"^^ . . "HTML Summary of #429 \n\nOn the learnability of the voicing contrast for initial stops\n\n" . "text/html" . . "2143" . "2146" . . . "Application of Active Noise Control in Corporate Aircraft"^^ . "Following the successful introduction of Active\nNoise Control (ANC) systems as standard production fits on commuter\naircraft (Saab2000, Saab340B and Dash8Q series 100, 200 & 300),\nrecent efforts have focused on developing low-cost, low-weight\nsystems for smaller corporate aircraft.\n\nThis paper describes the approach taken by Ultra to the new\ntechnical challenges and the resulting improvements to the design\nmethodology. A review of system performance on corporate (King Air\n& Twin Commander) turboprop aircraft shows repeatable global Tonal\nNoise Reductions (TNRs) of >8 dBA throughout the whole cabin,\nachieving reductions >20 dB in some locations at the blade-pass\nfrequency (BPF), and major comfort benefits throughout the\nflight envelope with a weight penalty of less than 20 kg."^^ . "1996-11" . "DE-93" . . . . . . . . "C.F."^^ . "Ross"^^ . "C.F. Ross"^^ . . "P.J.B."^^ . "Jackson"^^ . "P.J.B. Jackson"^^ . . . . "1996 International Mechanical Engineering"^^ . . . . . . . "HTML Summary of #430 \n\nApplication of Active Noise Control in Corporate Aircraft\n\n" . "text/html" . . "19" . "24" . . . "Pitch-synchronous Decomposition of Mixed-source Speech Signals"^^ . "As part of a study of turbulence-noise sources\n in speech production, a method has been developed for\n decomposing an acoustic signal into harmonic (voiced) and anharmonic\n (unvoiced) components, based on a hoarseness metric\n (Muta et al., 1988, J. Acoust. Soc. Am. 84,\n pp.1292-1301). Their pitch-synchronous harmonic filter (PSHF)\n has been extended (to EPSHF) to yield time histories of both\n harmonic and anharmonic components. Our corpus includes many\n examples of turbulence noise, including aspiration, \n voiced and unvoiced fricatives, and a variety of voice qualities (e.g. \n breathy, whispered). The EPSHF algorithm plausibly decomposed breathy \n vowels, but the harmonic component of voiced fricatives still contained \n significant noise, similar in shape to (though weaker than) the \n ensemble-averaged anharmonic spectrum. In general the algorithm \n performed best on sustained sounds. Tracking errors at rapid \n transitions, and due to jitter and shimmer, were spuriously attributed \n to the anharmonic component. However, the extracted anharmonic component \n clearly exhibited modulation in voiced fricatives. While such modulation \n has been previously reported (and also in hoarse voice), it was verified \n by tests on synthetic signals, where constant and modulated noise \n signals were extracted successfully. The results suggest that the EPSHF \n will continue to enable exploration of the interaction of phonation and \n turbulence noise."^^ . "1998-06" . "1" . "1aSC" . . . . . . . . "C.H."^^ . "Shadle"^^ . "C.H. Shadle"^^ . . "P.J.B."^^ . "Jackson"^^ . "P.J.B. Jackson"^^ . . . . "16th ICA/135th ASA"^^ . . . . . . . . "HTML Summary of #431 \n\nPitch-synchronous Decomposition of Mixed-source Speech Signals\n\n" . "text/html" . . "263" . "264" . . . "Modelling vocal-tract acoustics validated by flow experiments"^^ . "Modelling the acoustic response of the vocal tract is a complex task, both from the point of view of acquiring details of its \ninternal geometry and of accounting for the acoustic-flow interactions.\nA VOcal-tract ACoustics program (VOAC) has been developed \n[P. Davies, R. McGowan & C. Shadle, Vocal Fold Phys., \ned. I. Titze, San Diego: Singular Pub., 93-142 (1993)], \nwhich uses a more realistic, aeroacoustic model of the vocal tract \nthan classic electrical-analogue representations.\nIt accommodates area and hydraulic radius profiles, smooth and abrupt \narea changes, incorporating end-corrections, side-branches, and \nnet fluid flows, including turbulence losses incurred through jet \nformation.\nOriginally, VOAC was tested by comparing vowel formant frequencies \n(i) uttered by subjects, \n(ii) predicted using classic electrical analogues, and \n(iii) predicted by VOAC.\nIn this study, VOAC is further validated by comparing the predicted \nfrequency response functions for a range of flow rates \nwith measurements of the radiated \nsound from a series of mechanical models\nof unvoiced fricatives [C. Shadle, PhD thesis,\nMIT-RLE Tech. Rpt. 506 (1985)]. Results show VOAC is more\naccurate in predicting the complete spectrum at a range of flow rates.\nFinally, preliminary work is presented with VOAC used\nto simulate the sound generated at a sequence of stages during the \nrelease of a plosive."^^ . "1999-02" . "105" . "2, Pt." . . "JASA"^^ . . . . . . . . . "C.H."^^ . "Shadle"^^ . "C.H. Shadle"^^ . . "P.J.B."^^ . "Jackson"^^ . "P.J.B. Jackson"^^ . . . . "Forum Acusticum: 137th ASA and 2nd Conv. EAA"^^ . . . . . . . . "HTML Summary of #432 \n\nModelling vocal-tract acoustics validated by flow experiments\n\n" . "text/html" . . "1161" . "" . . . "Analysis of mixed-source speech sounds: aspiration, voiced fricatives and breathiness"^^ . "Our initial goal was to model the\r\nsource characteristics of aspiration more accurately. The term is used \r\ninconsistently in the literature, but there is general agreement that\r\naspiration is produced by turbulence noise generated in the vicinity of the\r\nglottis. Thus, in order to model aspiration, we must refine its concept, and\r\nin particular define its relation to other kinds of noise produced near the \r\nglottis, such as breathiness and hoarseness. For instance, do similar aeroacoustic processes operate transiently during a plosive release and steadily during a breathy vowel?\r\n\r\nIn unvoiced fricatives, localized sources produce well-defined spectral\r\ntroughs. We have therefore developed a series of analysis methods that generate spectra for transient and voice-and-noise-excited sounds. These methods include\r\npitch-synchronous decomposition into harmonic and anharmonic components (based on a hoarseness metric of Muta et al., 1988), short-time spectra, ensemble averaging, and short-time harmonics-to-noise ratios (Jackson and Shadle, 1998). These have been applied to a corpus of repeated nonsense words consisting of\r\naspirated stops in three vowel contexts and voiced and unvoiced fricatives,\r\nspoken in four voice qualities, thus providing multiple examples of mixed-source\r\nand transient-source speech sounds. \r\n\r\nEnsemble-averaged spectra derived throughout a stop release show evidence of a highly-localized noise source becoming more distributed. Variations by place are also apparent, complementing and extending previous work (Stevens and\r\nBlumstein, 1978; Stevens, 1993). The coordination of glottal and supraglottal articulation, described and modelled for aspiration by Scully and Mair (1995), is in a sense reversed for voiced fricatives. Use of the decomposition algorithm on voiced fricatives revealed greater complexity than expected: the anharmonic component appears sometimes to be modulated by the harmonic component, sometimes to be independent of it, and tends to change from \r\none case to the other in the course of the fricative. In sum, we have made some progress in describing not only spectral but time-varying properties of an aspiration model, and in so doing, have improved our descriptions of other mixed-source, time-varying speech sounds."^^ . "1999-03" . . . . . . . . . "C.H."^^ . "Shadle"^^ . "C.H. Shadle"^^ . . "P.J.B."^^ . "Jackson"^^ . "P.J.B. Jackson"^^ . . . . "2nd Int. Conf. on Voice Phys. and Biomechanics"^^ . . . . . . . . "HTML Summary of #433 \n\nAnalysis of mixed-source speech sounds: aspiration, voiced fricatives and breathiness\n\n" . "text/html" . . "30" . "" . . . "The primeness degree of an nD polynomial matrix"^^ . "Primeness of nD polynomial matrices is of fundamental importance in multidimensional systems theory. In this paper we define a quantity which describes the ``amount of primeness'' of a matrix and identify it as the concept of grade in commutative algebra. This enables us to produce a theory which unifies many existing results, such as the Bezout identities and complementation laws, while placing them on a firm algebraic footing. We also present applications to autonomous systems, behavioural minimality of regular systems, and transfer matrix factorization."^^ . "1997" . . "IEEE"^^ . . . . . . . . . . . . "J."^^ . "Wood"^^ . "J. Wood"^^ . . "E."^^ . "Rogers"^^ . "E. Rogers"^^ . . "D.H."^^ . "Owens"^^ . "D.H. Owens"^^ . . . . "36th IEEE Conference on Decision and Control"^^ . . . . . . . . . . . . "HTML Summary of #464 \n\nThe primeness degree of an nD polynomial matrix\n\n" . "text/html" . . "4254" . "9" . . . "Further results on the stabilization of multidimensional systems"^^ . "We study the stability of linear plant-compensator multidimensional systems using a general algebraic framework. We derive a parameterization of all stabilizing compensators. The theory developed allows different definitions of stability, including for example the practical stability introduced previously by Agathoklis and Bruton."^^ . "1997" . "1" . . . . . . . . . . . "D.H."^^ . "Owens"^^ . "D.H. Owens"^^ . . "J."^^ . "Wood"^^ . "J. Wood"^^ . . "E."^^ . "Rogers"^^ . "E. Rogers"^^ . . . . "4th European Control Conference (ECC'99)"^^ . . . . . . . . . "HTML Summary of #462 \n\nFurther results on the stabilization of multidimensional systems\n\n" . "text/html" . . "603" . "8" . . . "Multi-Sensor Data Fusion in Defence and Aerospace"^^ . "1998" . "102" . "1015" . . "The Aeronautical Journal"^^ . . . . . . . . . . . . "A."^^ . "Bailey"^^ . "A. Bailey"^^ . . "T.J."^^ . "Dodd"^^ . "T.J. Dodd"^^ . . "C.J."^^ . "Harris"^^ . "C.J. Harris"^^ . . . . . . . . "HTML Summary of #461 \n\nMulti-Sensor Data Fusion in Defence and Aerospace\n\n" . "text/html" . . "229" . "244" . . . "Characterizing controllable nD behaviours"^^ . "The property of external controllability has been well studied for 1D and 2D systems. In this paper, we provide a non-trivial generalization of earlier work to the nD case. We also provide a simple algebraic characterization of controllability."^^ . "1997" . . "IEEE"^^ . . . . . . . . . . . . "D.H."^^ . "Owens"^^ . "D.H. Owens"^^ . . "J."^^ . "Wood"^^ . "J. Wood"^^ . . "E."^^ . "Rogers"^^ . "E. Rogers"^^ . . . . "36th IEEE Conference on Decision and Control"^^ . . . . . . . . . "HTML Summary of #463 \n\nCharacterizing controllable nD behaviours\n\n" . "text/html" . . "4266" . "7" . . "Recursive Bayesian Modelling of Time Series by Neural Networks"^^ . "1999-09" . . . . . . . . "C.J."^^ . "Harris"^^ . "C.J. Harris"^^ . . "T.J."^^ . "Dodd"^^ . "T.J. Dodd"^^ . . . . "ICANN 99: Ninth International Conference on Artificial Neural Networks"^^ . . . . . . . . "HTML Summary of #460 \n\nRecursive Bayesian Modelling of Time Series by Neural Networks\n\n" . "text/html" . . "678" . "683" . . . "Fuzzy local linearisation and local basis function expansion in nonlinear system modelling"^^ . "1999" . "29" . "4" . . "IEEE Transactions on SMC"^^ . . . . . . . . . "Q."^^ . "Gan"^^ . "Q. Gan"^^ . . "C. J."^^ . "Harris"^^ . "C. J. Harris"^^ . . . . . . . . "HTML Summary of #445 \n\nFuzzy local linearisation and local basis function expansion in nonlinear system modelling\n\n" . "text/html" . . "559" . "565" . . . "A New Multiple Model Framework for Recursive Bayesian Modelling of Time Series by Neural Networks"^^ . "1999-07" . . . . . . . . "T.J."^^ . "Dodd"^^ . "T.J. Dodd"^^ . . "C.J."^^ . "Harris"^^ . "C.J. Harris"^^ . . . . "Proceedings of the 2nd International Conference on Information Fusion"^^ . . . . . . . . "HTML Summary of #457 \n\nA New Multiple Model Framework for Recursive Bayesian Modelling of Time Series by Neural Networks\n\n" . "text/html" . . "302" . "309" . . . "A Data Driven Approach to Sensor Modelling, Estimation, Tracking and Data Fusion"^^ . "1998-10" . . . . . . . . . . . . . . . . . "A."^^ . "Bailey"^^ . "A. Bailey"^^ . . "T.J."^^ . "Dodd"^^ . "T.J. Dodd"^^ . . "J."^^ . "O'Brien"^^ . "J. O'Brien"^^ . . "M."^^ . "Bedworth"^^ . "M. Bedworth"^^ . . "C.J."^^ . "Harris"^^ . "C.J. Harris"^^ . . . . "EuroFusion98: International Conference on Data Fusion"^^ . . . . . . . . "HTML Summary of #456 \n\nA Data Driven Approach to Sensor Modelling, Estimation, Tracking and Data Fusion\n\n" . "text/html" . . "103" . "111" . . . "Controllable and autonomous nD linear systems"^^ . "The theory of multidimensional systems suffers in certain areas from a lack of development of fundamental concepts. Using the behavioural approach, the study of linear shift-invariant nD systems can be encompassed within the well-established framework of commutative algebra, as previously shown by\nOberst. We consider here the discrete case. In this paper, we take two basic properties of discrete nD systems, controllability and autonomy, and show that they have simple algebraic characterizations. We make several non-trivial generalizations\nof previous results for the 2D case. In particular we analyse the controllable-autonomous decomposition and the controllable subsystem of autoregressive systems. We also show that a controllable nD subsystem of $(k^q)^{(\\Ints^n)}$ is precisely one which is minimal in its transfer class."^^ . "1999-01" . "10" . "1" . . "Multidimensional Systems and Signal Processing"^^ . . . . . . . . . . . . "D.H."^^ . "Owens"^^ . "D.H. Owens"^^ . . "J."^^ . "Wood"^^ . "J. Wood"^^ . . "E."^^ . "Rogers"^^ . "E. Rogers"^^ . . . . . . . . . "HTML Summary of #453 \n\nControllable and autonomous nD linear systems\n\n" . "text/html" . . "33" . "69" . . . "Structure indices for multidimensional systems"^^ . "The structure indices of a one-dimensional system are an important set of invariants. In this paper we examine a generalization of this concept to multidimensional linear systems, which corresponds to the algebraic concept of a Hilbert series. We use the standard theory of the Hilbert series to explain some of the previous 1D system-theoretic results. We discuss the computation of nD structure indices from an initial condition set, and the invariants which can be derived from these indices."^^ . "2000" . "17" . "3" . . "IMA Journal of Mathematical Control and Information"^^ . . . . . . . . . . . . . . . "J."^^ . "Wood"^^ . "J. Wood"^^ . . "D.H."^^ . "Owens"^^ . "D.H. Owens"^^ . . "E."^^ . "Rogers"^^ . "E. Rogers"^^ . . "P."^^ . "Rocha"^^ . "P. Rocha"^^ . . . . . . . . . "HTML Summary of #459 \n\nStructure indices for multidimensional systems\n\n" . "text/html" . . "227" . "56" . . . "Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp"^^ . "Grover's search algorithm is designed to be executed on a quantum-mechanical computer. In this article, the probabilistic wp-calculus is used to model and reason about Grover's algorithm. It is demonstrated that the calculus provides a rigorous programming notation for modeling this and other quantum algorithms and that it also provides a systematic framework of analyzing such algorithms."^^ . "1999-05" . . "21" . "3" . . "ACM Transactions on Programming Languages and Systems"^^ . . . "01640925" . . . . . . . . . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . "P. H."^^ . "Hartel"^^ . "P. H. Hartel"^^ . . . . . . . . . . "Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp (Postscript)"^^ . . . . . . . . . "grover.ps"^^ . . . "Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #484 \n\nReasoning about Grover's Quantum Search Algorithm using Probabilistic wp\n\n" . "text/html" . . "417" . "430" . . . "Calculational Derivation of Pointer Algorithms from Tree Operations"^^ . "1999" . . "33" . "3" . . "Science of Computer Programming"^^ . . . "01676423" . . . . . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . . . . . . "Calculational Derivation of Pointer Algorithms from Tree Operations (Postscript)"^^ . . . . . . . . . "pointers.ps"^^ . . . "Calculational Derivation of Pointer Algorithms from Tree Operations (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Calculational Derivation of Pointer Algorithms from Tree Operations (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . "HTML Summary of #485 \n\nCalculational Derivation of Pointer Algorithms from Tree Operations\n\n" . "text/html" . . "221" . "260" . . . "Local linearisation using fuzzy (soft) input space partition for nonlinear system modelling"^^ . "1999" . . . . . . . . "Q."^^ . "Gan"^^ . "Q. Gan"^^ . . "C. J."^^ . "Harris"^^ . "C. J. Harris"^^ . . . . "SCI'99/ISAS'99, USA"^^ . . . . . . . . "HTML Summary of #482 \n\nLocal linearisation using fuzzy (soft) input space partition for nonlinear system modelling\n\n" . "text/html" . . "CD" . "ROM" . . . "Multisensor data fusion using Kalman filters based on linearised process models"^^ . "1999" . . . . . . . . "Q."^^ . "Gan"^^ . "Q. Gan"^^ . . "C.J."^^ . "Harris"^^ . "C.J. Harris"^^ . . . . "EuroFusion'99 International Conf. on Data Fusion, UK"^^ . . . . . . . . "HTML Summary of #483 \n\nMultisensor data fusion using Kalman filters based on linearised process models\n\n" . "text/html" . . "105" . "112" . . "Perpetuating evolutionary emergence"^^ . "1998" . . . "MIT Press"^^ . . . . . . . . . . . . . . . . . . "R."^^ . "Pfeifer"^^ . "R. Pfeifer"^^ . . "J.-A."^^ . "Meyer"^^ . "J.-A. Meyer"^^ . . "A. D."^^ . "Channon"^^ . "A. D. Channon"^^ . . "B."^^ . "Blumberg"^^ . "B. Blumberg"^^ . . "R. I."^^ . "Damper"^^ . "R. I. Damper"^^ . . "S."^^ . "Wilson"^^ . "S. Wilson"^^ . . . . "From Animals to Animats 5: Proceedings of the Fifth International Conference on Simulation of Adaptive Behavior (SAB98), Zurich"^^ . . . . . . . . . "Perpetuating evolutionary emergence (Postscript)"^^ . . . . . . . . . "channon_ad_sab98_nc.ps"^^ . . . "Perpetuating evolutionary emergence (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Perpetuating evolutionary emergence (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . "HTML Summary of #478 \n\nPerpetuating evolutionary emergence\n\n" . "text/html" . . "534" . "539" . . . "Linearisation and state estimation of unknown discrete-time nonlinear dynamic systems using recurrent neurofuzzy networks"^^ . "1999-12" . "29" . "6" . . "IEEE"^^ . . . "IEEE Transactions on SMC"^^ . . . . . . . . . "Q."^^ . "Gan"^^ . "Q. Gan"^^ . . "C. J."^^ . "Harris"^^ . "C. J. Harris"^^ . . . . . . . . "HTML Summary of #481 \n\nLinearisation and state estimation of unknown discrete-time nonlinear dynamic systems using recurrent neurofuzzy networks\n\n" . "text/html" . . "802" . "817" . . . "Neural Networks for Invariant Pattern Recognition"^^ . "In this paper, we discuss a methodology for applying feedforward networks to problems of invariant pattern\n recognition. We present the Group Representation Network (GRN), a type of feedforward network with the property that its output is invariant under a group of transformations of its input. Since the invariance of such a network is inbuilt, it does not need to be learned. Consequently it is capable of a better generalization performance than a conventional network for solving the same symmetric problem. In addition, the GRN has fewer free parameters than connections and we can hence expect it to train faster than an ordinary network of the same connectivity."^^ . "1995" . . . . . . . . "J."^^ . "Shawe-Taylor"^^ . "J. Shawe-Taylor"^^ . . "J."^^ . "Wood"^^ . "J. Wood"^^ . . . . "Proc. of European Symposium on Artificial Neural Networks"^^ . . . . . . . "HTML Summary of #473 \n\nNeural Networks for Invariant Pattern Recognition\n\n" . "text/html" . . "253" . "8" . . "Theory of symmetry network structure"^^ . "A Symmetry Network is a feedforward network in which the connections are divided into equivalence classes of equal weight in such a way that the output of the network is invariant under a given group of permutations of the input. In this report we develop the theory of the structure of such networks."^^ . "1993" . "CSD-TR" . . . . . . . . "J."^^ . "Wood"^^ . "J. Wood"^^ . . "J."^^ . "Shawe-Taylor"^^ . "J. Shawe-Taylor"^^ . . . . . . . "HTML Summary of #470 \n\nTheory of symmetry network structure\n\n" . "text/html" . . . . "A unifying framework for invariant pattern recognition"^^ . "We introduce a group-theoretic model of invariant pattern recognition, the Group Representation Network. We show that many standard invariance techniques can be viewed as GRNs, including the DFT power spectrum, higher order neural network and fast translation-invariant transform."^^ . "1996" . "17" . . "Pattern Recognition Letters"^^ . . . . . . . . . . "J."^^ . "Wood"^^ . "J. Wood"^^ . . "J."^^ . "Shawe-Taylor"^^ . "J. Shawe-Taylor"^^ . . . . . . . . "HTML Summary of #475 \n\nA unifying framework for invariant pattern recognition\n\n" . "text/html" . . "1415" . "22" . . . "Logic Program Specialisation"^^ . "1999" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . "P."^^ . "Thiemann"^^ . "P. Thiemann"^^ . . "J."^^ . "Hatcliff"^^ . "J. Hatcliff"^^ . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "T. AE"^^ . "Mogensen"^^ . "T. AE Mogensen"^^ . . . . "Partial Evaluation -- Practice and Theory Proc. of the 1998 DIKU Summerschool, LNCS 1706"^^ . . . . . . . "HTML Summary of #498 \n\nLogic Program Specialisation\n\n" . "text/html" . . "155" . "188" . . . "The SH-Verification Tool -- Abstraction-based Verification of Co-operating Systems"^^ . "1998" . "10" . . "Formal Aspects of Computing"^^ . . . "09345043" . . . . . . . . . . . . . . . "P."^^ . "Ochsenschläger"^^ . "P. Ochsenschläger"^^ . . "J."^^ . "Repp"^^ . "J. Repp"^^ . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . "R."^^ . "Rieke"^^ . "R. Rieke"^^ . . . . . . . "HTML Summary of #501 \n\nThe SH-Verification Tool -- Abstraction-based Verification of Co-operating Systems\n\n" . "text/html" . . "381" . "404" . . . "Sonic Partial Deduction"^^ . "1999" . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "J."^^ . "Martin"^^ . "J. Martin"^^ . . . . "Proc. Third Int. Ershov Conf. on Perspectives of System Informatics, LNCS 1755"^^ . . . . . . . "HTML Summary of #500 \n\nSonic Partial Deduction\n\n" . "text/html" . . "101" . "12" . . . "Advanced Logic Program Specialisation"^^ . "1999" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . . . "Partial Evaluation -- Practice and Theory Proc. of the 1998 DIKU Summerschool, LNCS 1706"^^ . . . . . . . "HTML Summary of #499 \n\nAdvanced Logic Program Specialisation\n\n" . "text/html" . . "271" . "92" . . . "Modelling a Java Ring based implementation of an N-Count payment system"^^ . "1999-09" . . "UNIV. of Salerno, Italy"^^ . . . . . . . . . . "J. D."^^ . "Revill"^^ . "J. D. Revill"^^ . . "P. H."^^ . "Hartel"^^ . "P. H. Hartel"^^ . . . . "2nd Workshop on Security in Communication Networks"^^ . . . . . . . "HTML Summary of #502 \n\nModelling a Java Ring based implementation of an N-Count payment system\n\n" . "text/html" . . "139" . "150" . . . "Review of Okasaki, C. Purely Functional Data Structures"^^ . "1999" . "34" . . "Science of Computer Programming"^^ . . . "01676423" . . . . . . "P. H."^^ . "Hartel"^^ . "P. H. Hartel"^^ . . . . . . . "HTML Summary of #496 \n\nReview of Okasaki, C. Purely Functional Data Structures\n\n" . "text/html" . . "75" . "77" . . . "Review of Cousineau G. and Mauny, M. The Functional Approach to Programming"^^ . "1999-07" . "9" . "4" . . "J. Functional Programming"^^ . . . "09567968" . . . . . . "P. H."^^ . "Hartel"^^ . "P. H. Hartel"^^ . . . . . . . "HTML Summary of #497 \n\nReview of Cousineau G. and Mauny, M. The Functional Approach to Programming\n\n" . "text/html" . . "479" . "481" . . . "csp2B: A Practical Approach to Combining CSP and B"^^ . "1999-09" . . "Springer-Verlag"^^ . . "Springer-Verlag"^^ . . . . . . . . . . . . . . . "J."^^ . "Woodcock"^^ . "J. Woodcock"^^ . . "J. M."^^ . "Wing"^^ . "J. M. Wing"^^ . . "J."^^ . "Davies"^^ . "J. Davies"^^ . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . "Proc. FM'99: World Congress on Formal Methods"^^ . . . . . . . . "HTML Summary of #486 \n\ncsp2B: A Practical Approach to Combining CSP and B\n\n" . "text/html" . . "490" . "508" . . . "Parallel Programming with the B Method"^^ . "1999" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . "M."^^ . "Waldén"^^ . "M. Waldén"^^ . . "E."^^ . "Sekerinski"^^ . "E. Sekerinski"^^ . . "K."^^ . "Sere"^^ . "K. Sere"^^ . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . "Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series"^^ . . . . . . . . "HTML Summary of #488 \n\nParallel Programming with the B Method\n\n" . "text/html" . . "183" . "195" . . . "Abstract Machines for Programming Language Implementation"^^ . "2000-05" . "16" . "7" . . "Future Generation Computer Systems"^^ . . . "0167739X" . . . . . . . . . . . "P."^^ . "Sestoft"^^ . "P. Sestoft"^^ . . "S."^^ . "Diehl"^^ . "S. Diehl"^^ . . "P. H."^^ . "Hartel"^^ . "P. H. Hartel"^^ . . . . . . . "HTML Summary of #491 \n\nAbstract Machines for Programming Language Implementation\n\n" . "text/html" . . "739" . "51" . . . "An Empirical Study of the Evolution of a Software System"^^ . "1998-10" . . "IEEE Computer Society Press, Los Alamitos, California"^^ . . "IEEE Computer Society Press, Los Alamitos, California"^^ . . . . . . . . . . . . . . . . "P."^^ . "Henderson"^^ . "P. Henderson"^^ . . "B."^^ . "Warboys"^^ . "B. Warboys"^^ . . "R. M."^^ . "Greenwood"^^ . "R. M. Greenwood"^^ . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . . . "Proc. 13th Int. Conf. Automated Software Engineering (ASE)"^^ . . . . . . . "HTML Summary of #517 \n\nAn Empirical Study of the Evolution of a Software System\n\n" . "text/html" . . "293" . "296" . . . "An Investigation Into the Applicability and Validity of Object-oriented Design Metrics"^^ . "1998" . "3" . . "Empirical Software Engineering: An Int. J."^^ . . . "13823256" . . . . . . . . . . . "R. V."^^ . "Nithi"^^ . "R. V. Nithi"^^ . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . "S. J."^^ . "Counsell"^^ . "S. J. Counsell"^^ . . . . . . "HTML Summary of #519 \n\nAn Investigation Into the Applicability and Validity of Object-oriented Design Metrics\n\n" . "text/html" . . "255" . "273" . . . "An Operational Model of QuickPay"^^ . "1998-09" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . . . . "J."^^ . "Hill"^^ . "J. Hill"^^ . . "J.-J."^^ . "Quisquater"^^ . "J.-J. Quisquater"^^ . . "B."^^ . "Schneier"^^ . "B. Schneier"^^ . . "M."^^ . "Sims"^^ . "M. Sims"^^ . . "P. H."^^ . "Hartel"^^ . "P. H. Hartel"^^ . . . . "Proc. 3rd Int. Conf. Smart card research and advanced application (CARDIS 1998), LNCS"^^ . . . . . . . "HTML Summary of #518 \n\nAn Operational Model of QuickPay\n\n" . "text/html" . . "19" . "28" . . . "A Prototype Generic Proof Tool Supporting the Embedding of Formal Notations"^^ . "1998-10" . . "The Australian National University, Computer Sciences Lab 98-08"^^ . . "The Australian National University, Computer Sciences Lab 98-08"^^ . . . . . . . . . . . . . . . . "J."^^ . "Grundy"^^ . "J. Grundy"^^ . . "A. M."^^ . "Gravell"^^ . "A. M. Gravell"^^ . . "C. H."^^ . "Pratten"^^ . "C. H. Pratten"^^ . . "M."^^ . "Newey"^^ . "M. Newey"^^ . . . . "Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings"^^ . . . . . . . . "HTML Summary of #516 \n\nA Prototype Generic Proof Tool Supporting the Embedding of Formal Notations\n\n" . "text/html" . . "63" . "72" . . . "Fusion and Simultaneous Execution in the Refinement Calculus"^^ . "1998" . . "35" . "11" . . "Acta Informatica"^^ . . . "00015903" . . . . . . . . . "R. J. R."^^ . "Back"^^ . "R. J. R. Back"^^ . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . . . . . . "Fusion and Simultaneous Execution in the Refinement Calculus (Postscript)"^^ . . . . . . . . . "acta2.ps"^^ . . . "Fusion and Simultaneous Execution in the Refinement Calculus (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Fusion and Simultaneous Execution in the Refinement Calculus (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #503 \n\nFusion and Simultaneous Execution in the Refinement Calculus\n\n" . "text/html" . . "921" . "949" . . . "Applying the Cogito Program Development Environment to Real-Time System Design"^^ . "1998-02" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . "P."^^ . "Kearney"^^ . "P. Kearney"^^ . . "C."^^ . "McDonald"^^ . "C. McDonald"^^ . . "C. J."^^ . "Fidge"^^ . "C. J. Fidge"^^ . . "A. P."^^ . "Martin"^^ . "A. P. Martin"^^ . . . . "Proc. 21st Australasian Computer Science Conf., (Computer Science '98)"^^ . . . . . . "HTML Summary of #514 \n\nApplying the Cogito Program Development Environment to Real-Time System Design\n\n" . "text/html" . . "367" . "378" . . . "Termination Analysis for Tabled Logic Programming"^^ . "1998-07" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "B."^^ . "Martens"^^ . "B. Martens"^^ . . "N."^^ . "Fuchs"^^ . "N. Fuchs"^^ . . "K."^^ . "Sagonas"^^ . "K. Sagonas"^^ . . "S."^^ . "Decorte"^^ . "S. Decorte"^^ . . "D."^^ . "De Schreye"^^ . "D. De Schreye"^^ . . . . "Proc. 7th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1463"^^ . . . . . . . "HTML Summary of #512 \n\nTermination Analysis for Tabled Logic Programming\n\n" . "text/html" . . "111" . "127" . . . "An Extensible Interpreter for Experimentation with the Semantics of Prograph"^^ . "1998" . . "IEEE Computer Society Press, Los Alamitos, California"^^ . . "IEEE Computer Society Press, Los Alamitos, California"^^ . . . . . . . . . . . . . "H."^^ . "Glaser"^^ . "H. Glaser"^^ . . "S. D."^^ . "Maclean"^^ . "S. D. Maclean"^^ . . "D."^^ . "De Roure"^^ . "D. De Roure"^^ . . . . "Proc. IEEE Symp. on Visual Languages (VL)"^^ . . . . . . . . . . "HTML Summary of #510 \n\nAn Extensible Interpreter for Experimentation with the Semantics of Prograph\n\n" . "text/html" . . "76" . "77" . . . "SIMMER: Software and Systems Integration, Modelling, Metrics and Risks (Getting to Level 4)"^^ . "1998-11" . . . . . . . . . . . . "P."^^ . "Henderson"^^ . "P. Henderson"^^ . . "B."^^ . "Chatters"^^ . "B. Chatters"^^ . . "C."^^ . "Rostron"^^ . "C. Rostron"^^ . . . . "Proc. European Conf. on Software Process Improvement (EuroSPI)"^^ . . . . . . . "HTML Summary of #508 \n\nSIMMER: Software and Systems Integration, Modelling, Metrics and Risks (Getting to Level 4)\n\n" . "text/html" . . "4.16" . "4" . . . "A Calculus for Schemas in Z"^^ . "The popularity and flexibility of the Z notation can largely be\nattributed to its notion of schemas. We describe these schemas and\nillustrate their various common uses in Z. We also present a\ncollection of logical laws for manipulating these schemas. These laws\nare capable of supporting reasoning about the Z schema calculus in its\nfull generality. This is demonstrated by presenting some theorems\nabout the removability of schemas from Z specifications, together with\noutline proofs. We survey briefly models against which this logical\nsystem may be proven sound, and other related logics for Z."^^ . "2000" . "to app" . . "J. Symbolic Computation"^^ . . . "07477171" . . . . . . . . "S. M."^^ . "Brien"^^ . "S. M. Brien"^^ . . "A. P."^^ . "Martin"^^ . "A. P. Martin"^^ . . . . . . "HTML Summary of #504 \n\nA Calculus for Schemas in Z\n\n" . "text/html" . . . . "Some Achievements and Prospects in Partial Deduction"^^ . "1998-09" . "30" . "Symp." . . "ACM Computing Surveys"^^ . . . "03600300" . . . . . . . . . . . . "D."^^ . "De Schreye"^^ . "D. De Schreye"^^ . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "B."^^ . "Martens"^^ . "B. Martens"^^ . . . . . . . "HTML Summary of #528 \n\nSome Achievements and Prospects in Partial Deduction\n\n" . "text/html" . . . . "Program Specialisation and Abstract Interpretation Reconciled"^^ . "1998" . . "MIT Press, Cambridge, Massachusetts"^^ . . "MIT Press, Cambridge, Massachusetts"^^ . . . . . . . . . . "J."^^ . "Jaffar"^^ . "J. Jaffar"^^ . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . . . "Proc. Joint Int. Conf. and Symp. on Logic Programming (JICSLP)"^^ . . . . . . . "HTML Summary of #525 \n\nProgram Specialisation and Abstract Interpretation Reconciled\n\n" . "text/html" . . "220" . "234" . . "From Formal Models to Validated Components in an Evolving System"^^ . "1998" . . . . . "P."^^ . "Henderson"^^ . "P. Henderson"^^ . . . . . . . "HTML Summary of #523 \n\nFrom Formal Models to Validated Components in an Evolving System\n\n" . "text/html" . . . . "Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs"^^ . "1998-01" . "20" . "1" . . "ACM Transactions on Programming Languages and Systems"^^ . . . "01640925" . . . . . . . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "B."^^ . "Martens"^^ . "B. Martens"^^ . . "D."^^ . "De Schreye"^^ . "D. De Schreye"^^ . . . . . . . "HTML Summary of #524 \n\nControlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs\n\n" . "text/html" . . "208" . "258" . . . "Constrained Parital Deduction and the Preservation of Characteristic Trees"^^ . "1998" . "16" . . "New Generation Computing"^^ . . . "02883635" . . . . . . . . . "D."^^ . "De Schreye"^^ . "D. De Schreye"^^ . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . . . . . . "HTML Summary of #527 \n\nConstrained Parital Deduction and the Preservation of Characteristic Trees\n\n" . "text/html" . . "283" . "342" . . . "Laws for Dynamic Systems"^^ . "1998-06" . . "IEEE Computer Society Press, Los Alamitos, California"^^ . . "IEEE Computer Society Press, Los Alamitos, California"^^ . . . . . . "P."^^ . "Henderson"^^ . "P. Henderson"^^ . . . . "Proc. Int. Conf. on Software Re-Use (ICSR)"^^ . . . . . . . "HTML Summary of #522 \n\nLaws for Dynamic Systems\n\n" . "text/html" . . "330" . "336" . . . "Creating Specialised Integrity Checks Through Partial Evaluation of Meta-interpreters"^^ . "1998" . "36" . . "J. of Logic Programming"^^ . . . "07431066" . . . . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "D."^^ . "De Schreye"^^ . "D. De Schreye"^^ . . . . . . . "HTML Summary of #526 \n\nCreating Specialised Integrity Checks Through Partial Evaluation of Meta-interpreters\n\n" . "text/html" . . "149" . "193" . . . "Coupling Metrics for OO Design"^^ . "1998-11" . . "IEEE Computer Society Press, Los Alamitos, California"^^ . . "IEEE Computer Society Press, Los Alamitos, California"^^ . . . . . . . . . . . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . "S. J."^^ . "Counsell"^^ . "S. J. Counsell"^^ . . "R."^^ . "Nithi"^^ . "R. Nithi"^^ . . . . "Proc. 5th Int. Software Metrics Symp."^^ . . . . . . "HTML Summary of #521 \n\nCoupling Metrics for OO Design\n\n" . "text/html" . . "150" . "157" . . . "An Evaluation of the MOOD Set of Object-oriented Software Metrics"^^ . "1998-06" . "24" . "6" . . "IEEE Transactions on Software Engineering"^^ . . . "00985589" . . . . . . . . . . . "R. V."^^ . "Nithi"^^ . "R. V. Nithi"^^ . . "S. J."^^ . "Counsell"^^ . "S. J. Counsell"^^ . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . . . . . "HTML Summary of #520 \n\nAn Evaluation of the MOOD Set of Object-oriented Software Metrics\n\n" . "text/html" . . "491" . "496" . . . "Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL"^^ . "1998-10" . . "The Australian National University, Computer Sciences Lab 98-08"^^ . . "The Australian National University, Computer Sciences Lab 98-08"^^ . . . . . . . . . . . . . . . . "M."^^ . "Newey"^^ . "M. Newey"^^ . . "J."^^ . "Grundy"^^ . "J. Grundy"^^ . . "A. M."^^ . "Gravell"^^ . "A. M. Gravell"^^ . . "C. H."^^ . "Pratten"^^ . "C. H. Pratten"^^ . . . . "Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings"^^ . . . . . . . . "HTML Summary of #515 \n\nEmbedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL\n\n" . "text/html" . . "73" . "84" . . . "Int. Conf. Principles of Declarative Programming (PLILP), LNCS 1490"^^ . "1998-09" . . "3540650121" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . "H."^^ . "Glaser"^^ . "H. Glaser"^^ . . "K."^^ . "Meinke"^^ . "K. Meinke"^^ . . "C."^^ . "Palamidessi"^^ . "C. Palamidessi"^^ . . . . . "HTML Summary of #541 \n\nInt. Conf. Principles of Declarative Programming (PLILP), LNCS 1490\n\n" . "text/html" . . . . "Extending Partial Deduction to Tabled Execution: Some Results and Open Issues"^^ . "1998-09" . "30" . "Symp. " . . "ACM Computing Surveys"^^ . . . "03600300" . . . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "K."^^ . "Sagonas"^^ . "K. Sagonas"^^ . . . . . . . "HTML Summary of #543 \n\nExtending Partial Deduction to Tabled Execution: Some Results and Open Issues\n\n" . "text/html" . . . . "An Audience Centred Approach to Modelling for Business Processes ReEngineering"^^ . "1997" . . "OCG Osterreichische Computer Gesellschaft Vienna Lecture Notes 107"^^ . . "OCG Osterreichische Computer Gesellschaft Vienna Lecture Notes 107"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . "J."^^ . "Gyorkos"^^ . "J. Gyorkos"^^ . . "K."^^ . "Phalp"^^ . "K. Phalp"^^ . . "P."^^ . "Henderson"^^ . "P. Henderson"^^ . . "G."^^ . "Abeysinghe"^^ . "G. Abeysinghe"^^ . . "M."^^ . "Krisper"^^ . "M. Krisper"^^ . . "R.J."^^ . "Walters"^^ . "R.J. Walters"^^ . . "H. C."^^ . "Mayr"^^ . "H. C. Mayr"^^ . . . . "Proc. 5th Int. Conf. Re-technologies for Information Systems (ReTis'97)"^^ . . . . . . . . . "HTML Summary of #545 \n\nAn Audience Centred Approach to Modelling for Business Processes ReEngineering\n\n" . "text/html" . . "63" . "80" . . . "Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One"^^ . "1998" . "18" . . "Electronic Notes in Theoretical Computer Science"^^ . . . "03043975" . . . . . . "U."^^ . "Ultes-Nitsche"^^ . "U. Ultes-Nitsche"^^ . . . . . . . "HTML Summary of #537 \n\nTowards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One\n\n" . "text/html" . . "1" . "17" . . . "Realization of a Context-Dependent Access Control Mechanism on a Commercial Platform"^^ . "1998" . . "Austrian Computer Society, Vienna"^^ . . "Austrian Computer Society, Vienna"^^ . . . . . . . . . . . . . . . . "O."^^ . "Morger"^^ . "O. Morger"^^ . . "R."^^ . "Holbein"^^ . "R. Holbein"^^ . . "S."^^ . "Teufel"^^ . "S. Teufel"^^ . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . . . "Proc. 14th Int. Information Security Conf. IFIP/Sec'98, part of the 15th IFIP World Computer Congress"^^ . . . . . . . "HTML Summary of #539 \n\nRealization of a Context-Dependent Access Control Mechanism on a Commercial Platform\n\n" . "text/html" . . "160" . "170" . . . "Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One"^^ . "1998" . . "Fac. of Inf., Masaryk Univ. Report FMIVC-RS-98-06"^^ . . . . . . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . . . "Proc. Int. Workshop on Concurrency -- Algorithms and Tools (satellite to the 23rd Int. Symp. on Mathematical Foundations of Computer Science)"^^ . . . . . . . "HTML Summary of #538 \n\nConstruction of an Abstract State-Space from a Partial-Order Representation of the Concrete One\n\n" . "text/html" . . "160" . "170" . . . "On the Border of Universality/Non-Universality in Restricted High-Level Petri Nets"^^ . "1998" . . "I.U.T. de Metz, France"^^ . . . . . . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . . . "Proc. Colloquium on Universal Machines and Computations (MCU'98)"^^ . . . . . . . "HTML Summary of #540 \n\nOn the Border of Universality/Non-Universality in Restricted High-Level Petri Nets\n\n" . "text/html" . . "169" . "181" . . . "RolEnact - Role Based Enactable Models of Business Processes"^^ . "This paper describes RolEnact: a process-modelling notation used to provide enactable models of process instances. The paper shows how RolEnact models may be produced which are equivalent to role activity diagrams (RADs). This allows the modeller to describe processes in a notation (RADs); which can be understood both by process consultants and process users, whilst retaining the ability to generate enactable process scenarios."^^ . "1998" . "40" . "3" . . "Information And Software Technology"^^ . . . "09505849" . . . . . . . . . . . . . . . "P."^^ . "Henderson"^^ . "P. Henderson"^^ . . "G."^^ . "Abeysinghe"^^ . "G. Abeysinghe"^^ . . "R.J."^^ . "Walters"^^ . "R.J. Walters"^^ . . "K."^^ . "Phalp"^^ . "K. Phalp"^^ . . . . . . . . . "HTML Summary of #542 \n\nRolEnact - Role Based Enactable Models of Business Processes\n\n" . "text/html" . . "123" . "133" . . . "Parallel Implementation of a Genetic-programming Based Tool for Symbolic Regression"^^ . "We report on a parallel implementation of a tool for symbolic regression, the algorithmic mechanism of which is based on genetic programming, and communication is handled using MPI. The implementation relies on a random islands model, (RIM), which combines both the conventional islands model where migration of individuals between islands occurs periodically and niching where no migration takes place. The system was designed so that the algorithm is synergistic with parallel/distributed\r\narchitectures, and works to make use of processor time and minimum use of network bandwidth without complicating the sequential algorithm significantly. Results on an IBM SP2 are included."^^ . "1998" . "66" . . "Information Processing Letters"^^ . . . "00200190" . . . . . . . . . . . . "H."^^ . "Glaser"^^ . "H. Glaser"^^ . . "A."^^ . "Salhi"^^ . "A. Salhi"^^ . . "D. De"^^ . "Roure"^^ . "D. De Roure"^^ . . . . . . . . . . . "HTML Summary of #544 \n\nParallel Implementation of a Genetic-programming Based Tool for Symbolic Regression\n\n" . "text/html" . . "299" . "307" . . . "Deterministic $\\omega$-Regular Liveness Properties"^^ . "1998" . . "Aristotle Univ. of Thessaloniki, Greece"^^ . . . . . . . . . . . . . . . . "F."^^ . "Nieϐner"^^ . "F. Nieϐner"^^ . . "S."^^ . "Bozapalidis"^^ . "S. Bozapalidis"^^ . . "P."^^ . "Ochsenschläger"^^ . "P. Ochsenschläger"^^ . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . . . "Proc. 3rd Int. Conf. Developments in Language Theory (DLT)"^^ . . . . . . . "HTML Summary of #534 \n\nDeterministic \"$\\omega$\"-Regular Liveness Properties\n\n" . "text/html" . . "237" . "247" . . . "Applying Object-Oriented Design Metrics in the Real-world"^^ . "1997-04" . . "Imperial College"^^ . . . . . . . . . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . "S. J."^^ . "Counsell"^^ . "S. J. Counsell"^^ . . "R."^^ . "Nithi"^^ . "R. Nithi"^^ . . . . "Proc. Software Engineering Association Workshop"^^ . . . . . . "HTML Summary of #559 \n\nApplying Object-Oriented Design Metrics in the Real-world\n\n" . "text/html" . . "65" . "67" . . . "A Tactic Language for Ergo"^^ . "1997-07" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . . . "A."^^ . "Martin"^^ . "A. Martin"^^ . . "S."^^ . "Reeves"^^ . "S. Reeves"^^ . . "R."^^ . "Nickson"^^ . "R. Nickson"^^ . . "L."^^ . "Groves"^^ . "L. Groves"^^ . . "M."^^ . "Utting"^^ . "M. Utting"^^ . . . . "Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science"^^ . . . . . . "HTML Summary of #566 \n\nA Tactic Language for Ergo\n\n" . "text/html" . . "186" . "207" . . . "Empirical Assessment of Object-Oriented Design Metrics"^^ . "1997-03" . . "Keele University"^^ . . . . . . . . . . . . . "R."^^ . "Nithi"^^ . "R. Nithi"^^ . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . "S. J."^^ . "Counsell"^^ . "S. J. Counsell"^^ . . . . "Proc. Empirical Assessment and Evaluation in Software Engineering Conf."^^ . . . . . . "HTML Summary of #558 \n\nEmpirical Assessment of Object-Oriented Design Metrics\n\n" . "text/html" . . "1" . "17" . . . "LETOS -- A Lightweight ExecutionTool for Operational Semantics"^^ . "1999-09" . "29" . "15" . . "Software --- Practice and Experience"^^ . . . "00380644" . . . . . "P. H."^^ . "Hartel"^^ . "P. H. Hartel"^^ . . . . . . . "HTML Summary of #556 \n\nLETOS -- A Lightweight ExecutionTool for Operational Semantics\n\n" . "text/html" . . "1379" . "1416" . . . "Formal Models of Process Components"^^ . "1997-09" . . "Iowa State University Technical report"^^ . . . . . . . . . . . . "P."^^ . "Henderson"^^ . "P. Henderson"^^ . . "M."^^ . "Sitamaran"^^ . "M. Sitamaran"^^ . . "G. T."^^ . "Leavens"^^ . "G. T. Leavens"^^ . . . . "Proc. Int. Foundations of component-based systems Workshop"^^ . . . . . . . "HTML Summary of #562 \n\nFormal Models of Process Components\n\n" . "text/html" . . "131" . "140" . . . "Advanced Techniques for Logic Program Specialisation"^^ . "1997" . "10" . . "AI Communications"^^ . . . "09217126" . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . . . . . . "HTML Summary of #564 \n\nAdvanced Techniques for Logic Program Specialisation\n\n" . "text/html" . . "127" . "128" . . . "The ecce Partial Deduction System"^^ . "1997-10" . . "Universidad Polit\\'ecnica de Madrid Tech. Rep. CLIP7/97.1"^^ . . . . . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "G."^^ . "Puebla"^^ . "G. Puebla"^^ . . . . "Proc. ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming"^^ . . . . . . . "HTML Summary of #563 \n\nThe ecce Partial Deduction System\n\n" . "text/html" . . . . "ILPS'97 Workshop on Specialisation of Declarative Programs and its Application"^^ . "1997-10" . . "K. U. Leuven, Tech. Rep. CW 255, also as DIKU Report 97/30, University of Copenhagen"^^ . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . . . . "HTML Summary of #565 \n\nILPS'97 Workshop on Specialisation of Declarative Programs and its Application\n\n" . "text/html" . . . . "Special issue: Smart cards"^^ . "1997-07" . "13" . "1" . . "Future Generation Computer Systems"^^ . . . "0167739X" . . . . . "P. H."^^ . "Hartel"^^ . "P. H. Hartel"^^ . . . . . . . . "HTML Summary of #557 \n\nSpecial issue: Smart cards\n\n" . "text/html" . . "1" . "2" . . . "Summary: Process Modelling and Empirical Studies of Software Evolution"^^ . "1997-05" . . "IEEE computer society press"^^ . . . . . . . . . . . . . "J."^^ . "Daly"^^ . "J. Daly"^^ . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . "M."^^ . "Shepperd"^^ . "M. Shepperd"^^ . . . . "Proc. Int. Conf. on Software Engineering (ICSE '97)"^^ . . . . . . "HTML Summary of #560 \n\nSummary: Process Modelling and Empirical Studies of Software Evolution\n\n" . "text/html" . . "675" . "" . . . "Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks"^^ . "1996" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . . . . . . . "R."^^ . "Demant"^^ . "R. Demant"^^ . . "F."^^ . "Fatahi-Vanani"^^ . "F. Fatahi-Vanani"^^ . . "P."^^ . "Ochsenschläger"^^ . "P. Ochsenschläger"^^ . . "R."^^ . "Galvez-Estrada"^^ . "R. Galvez-Estrada"^^ . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . "C."^^ . "Capellmann"^^ . "C. Capellmann"^^ . . . . "Proc. 8th Int. Conf. Computer Aided Verification (CAV), LNCS 1102"^^ . . . . . . . "HTML Summary of #582 \n\nVerification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks\n\n" . "text/html" . . "466" . "469" . . . "An Action System Approach to the Steam Boiler Problem"^^ . "1996" . . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . . . . . . . . "E."^^ . "Sekerinski"^^ . "E. Sekerinski"^^ . . "E."^^ . "Börger"^^ . "E. Börger"^^ . . "H."^^ . "Langmaack"^^ . "H. Langmaack"^^ . . "J.-R."^^ . "Abrial"^^ . "J.-R. Abrial"^^ . . "K."^^ . "Sere"^^ . "K. Sere"^^ . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . "Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165"^^ . . . . . . . . . "An Action System Approach to the Steam Boiler Problem (Postscript)"^^ . . . . . . . . . "a95-170.ps"^^ . . . "An Action System Approach to the Steam Boiler Problem (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "An Action System Approach to the Steam Boiler Problem (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #579 \n\nAn Action System Approach to the Steam Boiler Problem\n\n" . "text/html" . . "129" . "148" . . . "Calculational Derivation of Algorithms on Tree-based Pointer Structures"^^ . "1996" . . . "Springer-Verlag Electronic Workshops in Computing"^^ . . "Springer-Verlag Electronic Workshops in Computing"^^ . . . . . . . . . . . . . . . . . "P."^^ . "Wallace"^^ . "P. Wallace"^^ . . "He"^^ . "Jifeng"^^ . "He Jifeng"^^ . . "J."^^ . "Cooke"^^ . "J. Cooke"^^ . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . "BCS-FACS Refinement Workshop"^^ . . . . . . . . . "Calculational Derivation of Algorithms on Tree-based Pointer Structures (Postscript)"^^ . . . . . . . . . "dssetr-95-2b.ps"^^ . . . "Calculational Derivation of Algorithms on Tree-based Pointer Structures (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Calculational Derivation of Algorithms on Tree-based Pointer Structures (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #576 \n\nCalculational Derivation of Algorithms on Tree-based Pointer Structures\n\n" . "text/html" . . . "An Approach to the Design of Distributed Systems with B AMN (extended version)"^^ . "1996" . "DSSE-T" . . . . . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . . . . . "HTML Summary of #577 \n\nAn Approach to the Design of Distributed Systems with B AMN (extended version)\n\n" . "text/html" . . . . "Program Derivation using the Refinement Calculator"^^ . "1996" . . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . . . . . "J."^^ . "Harrison"^^ . "J. Harrison"^^ . . "J. von"^^ . "Wright"^^ . "J. von Wright"^^ . . "T."^^ . "Långbacka"^^ . "T. Långbacka"^^ . . "J."^^ . "Grundy"^^ . "J. Grundy"^^ . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . "Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125"^^ . . . . . . . . . "Program Derivation using the Refinement Calculator (Postscript)"^^ . . . . . . . . . "dsse-tr-96-3.ps"^^ . . . "Program Derivation using the Refinement Calculator (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Program Derivation using the Refinement Calculator (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . "HTML Summary of #578 \n\nProgram Derivation using the Refinement Calculator\n\n" . "text/html" . . "93" . "108" . . . "Distributed Prograph"^^ . "Prograph is a programming environment and language which has been available on\r\nthe Apple Macintosh platform for more than 5 years. It provides a sophisticated\r\napplication builder, together with a visual programming language, supported by a\r\npowerful program development environment. The programming language uses an\r\nobject-oriented model for data abstraction and the logic is based on a dataflow\r\nmodel of computation, specified graphically.\r\n\r\nGraphical dataflow gives programmers a clear view of the potential for\r\nexploitation of concurrency and so the Prograph language appears to give\r\nsome leverage for the programming of parallel or distributed systems.\r\nThis still leaves many issues unresolved, however, since for example\r\ndataflow is usually associated with fine-grain parallelism, but expected\r\ntarget architectures are unlikely to support fine-grain parallelism efficiently.\r\nThis paper discusses the preliminary investigation of the issues of\r\nPrograph and parallelism."^^ . "1996" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . . . . . . . "C."^^ . "Queinnec"^^ . "C. Queinnec"^^ . . "R. H."^^ . "Halstead"^^ . "R. H. Halstead"^^ . . "H."^^ . "Glaser"^^ . "H. Glaser"^^ . . "B."^^ . "Lanaspre"^^ . "B. Lanaspre"^^ . . "T."^^ . "Ito"^^ . "T. Ito"^^ . . "P. T."^^ . "Cox"^^ . "P. T. Cox"^^ . . . . "Proc. Int. Conf. Parallel Symbolic Languages and Systems, LNCS 1068"^^ . . . . . . . . "HTML Summary of #583 \n\nDistributed Prograph\n\n" . "text/html" . . "128" . "133" . . . "Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction"^^ . "1996-03" . . "Univ. of Passau, Report MIP-9604"^^ . . . . . . . . . . . . . . . . . . . . . . "R."^^ . "Galvez-Estrada"^^ . "R. Galvez-Estrada"^^ . . "C."^^ . "Capellmann"^^ . "C. Capellmann"^^ . . "P."^^ . "Ochsenschläger"^^ . "P. Ochsenschläger"^^ . . "R."^^ . "Demant"^^ . "R. Demant"^^ . . "T."^^ . "Margaria"^^ . "T. Margaria"^^ . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . . . "Proc. 1st Int. Workshop on Advanced Intelligent Networks (AIN)"^^ . . . . . . . "HTML Summary of #581 \n\nCase Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction\n\n" . "text/html" . . "71" . "90" . . . "Distributed System Development in B"^^ . "1996-11" . . . "IRIN (Institut de Recherche en Informatique de Nantes)"^^ . . "IRIN (Institut de Recherche en Informatique de Nantes)"^^ . . . . . . . . . . . . . . "H."^^ . "Habrias"^^ . "H. Habrias"^^ . . "M."^^ . "Waldén"^^ . "M. Waldén"^^ . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . "Proc. First B Conf."^^ . . . . . . . . . "Distributed System Development in B (Postscript)"^^ . . . . . . . . . "bug.ps"^^ . . . "Distributed System Development in B (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Distributed System Development in B (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #580 \n\nDistributed System Development in B\n\n" . "text/html" . . "155" . "168" . . . "Security Concerns for Mobile Information Systems in Health Care"^^ . "1997" . . "IEEE Press"^^ . . "IEEE Press"^^ . . . . . . . . . . . . . "S."^^ . "Teufel"^^ . "S. Teufel"^^ . . "O."^^ . "Morger"^^ . "O. Morger"^^ . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . . . "Proc. 8th Int. Workshop on Database and Expert Systems Applications (DEXA)"^^ . . . . . . . "HTML Summary of #567 \n\nSecurity Concerns for Mobile Information Systems in Health Care\n\n" . "text/html" . . "312" . "317" . . . "Stepwise Refinement of Communicating Systems"^^ . "1996-09" . . "27" . "2" . . "Science of Computer Programming"^^ . "01676423" . . . . . . "M. J."^^ . "Butler"^^ . "M. J. Butler"^^ . . . . . . . . . "Stepwise Refinement of Communicating Systems (Postscript)"^^ . . . . . . . . . "scp.ps"^^ . . . "Stepwise Refinement of Communicating Systems (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Stepwise Refinement of Communicating Systems (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #575 \n\nStepwise Refinement of Communicating Systems\n\n" . "text/html" . . "139" . "173" . . . "Efficiently Generating Efficient Generating Extensions in Prolog"^^ . "1996" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "P."^^ . "Thiemann"^^ . "P. Thiemann"^^ . . "R."^^ . "Glück"^^ . "R. Glück"^^ . . "J."^^ . "Jørgensen"^^ . "J. Jørgensen"^^ . . "O."^^ . "Danvy"^^ . "O. Danvy"^^ . . . . "Proc. Dagstuhl Seminar on Partial Evaluation, LNCS 1110"^^ . . . . . . . "HTML Summary of #598 \n\nEfficiently Generating Efficient Generating Extensions in Prolog\n\n" . "text/html" . . "238" . "262" . . "An Architecture for Distributed Computations using the Pool Model"^^ . "1996" . "DSSE-T" . . . . . . . . . . . . "S."^^ . "Maclean"^^ . "S. Maclean"^^ . . "H."^^ . "Glaser"^^ . "H. Glaser"^^ . . "D. De"^^ . "Roure"^^ . "D. De Roure"^^ . . . . . . . . . . "HTML Summary of #609 \n\nAn Architecture for Distributed Computations using the Pool Model\n\n" . "text/html" . . . . "Logic Program Specialisation: How To Be More Specific (abstract)"^^ . "1996-08" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . "D."^^ . "De Schreye"^^ . "D. De Schreye"^^ . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "J."^^ . "Gallagher"^^ . "J. Gallagher"^^ . . . . "Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207"^^ . . . . . . . "HTML Summary of #605 \n\nLogic Program Specialisation: How To Be More Specific (abstract)\n\n" . "text/html" . . "58" . "" . . . "A Tactic Calculus - Full version"^^ . "We present a very general language for expressing tactic programs. The paper describes some essential\ntactic combinators (tacticals), and gives them a formal semantics. Those definitions are used to produce a\ncomplete calculus for reasoning about tactics written in this language. The language is extended to cover\nstructural combinators which enable the tactics to be precisely targeted upon particular sub-expressions."^^ . "1996" . "8(E)" . . "Formal Aspects of Computing"^^ . . . "09345043" . . . . . . . . . . . "J. C. P."^^ . "Woodcock"^^ . "J. C. P. Woodcock"^^ . . "P. H. B."^^ . "Gardiner"^^ . "P. H. B. Gardiner"^^ . . "A. P."^^ . "Martin"^^ . "A. P. Martin"^^ . . . . . . "HTML Summary of #613 \n\nA Tactic Calculus - Full version\n\n" . "text/html" . . "224" . "285" . . . "Infinite Lists for Specifying Functional Programs in Z"^^ . "1996" . . "Published electronically by the University of Queensland, Australia"^^ . . . . . . "A."^^ . "Martin"^^ . "A. Martin"^^ . . . . "Proc. Australasian Refinement Workshops"^^ . . . . . . "HTML Summary of #611 \n\nInfinite Lists for Specifying Functional Programs in Z\n\n" . "text/html" . . . . "Efficiently Generating Efficient Generating Extensions in Prolog"^^ . "1996" . . "IBFI GmbH, Schloϐ Dagstuhl"^^ . . . . . . . . . . . . . . . . . . . "J."^^ . "Jørgensen"^^ . "J. Jørgensen"^^ . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "R."^^ . "Glück"^^ . "R. Glück"^^ . . "O."^^ . "Danvy"^^ . "O. Danvy"^^ . . "P."^^ . "Thiemann"^^ . "P. Thiemann"^^ . . . . "Proc. Partial Evaluation: Dagstuhl-Seminar-Report 134"^^ . . . . . . . "HTML Summary of #600 \n\nEfficiently Generating Efficient Generating Extensions in Prolog\n\n" . "text/html" . . "25" . "" . . . "Comparing Programming Paradigms: an Evaluation of Functional and Object-Oriented Programs"^^ . "1996-07" . "11" . "4" . . "Software Engineering J."^^ . . . "02686961" . . . . . . . . . . . . . . . "M. R."^^ . "Dobie"^^ . "M. R. Dobie"^^ . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . "L. G."^^ . "Samaraweera"^^ . "L. G. Samaraweera"^^ . . "P. H."^^ . "Lewis"^^ . "P. H. Lewis"^^ . . . . . . . . . . "HTML Summary of #597 \n\nComparing Programming Paradigms: an Evaluation of Functional and Object-Oriented Programs\n\n" . "text/html" . . "247" . "254" . . . "An Evaluation of Code Metrics for Object-Oriented Programs"^^ . "1996-07" . "38" . "7" . . "Information and Software Technology"^^ . . . "09505849" . . . . . . . . . . . . . . . "M. R."^^ . "Dobie"^^ . "M. R. Dobie"^^ . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . "L. G."^^ . "Samaraweera"^^ . "L. G. Samaraweera"^^ . . "P. H."^^ . "Lewis"^^ . "P. H. Lewis"^^ . . . . . . . . . . "HTML Summary of #596 \n\nAn Evaluation of Code Metrics for Object-Oriented Programs\n\n" . "text/html" . . "701" . "707" . . . "Conjunctive Partial Deduction in Practice"^^ . "1996-08" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . . . . "J."^^ . "Jørgensen"^^ . "J. Jørgensen"^^ . . "B."^^ . "Martens"^^ . "B. Martens"^^ . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "J."^^ . "Gallagher"^^ . "J. Gallagher"^^ . . . . "Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207"^^ . . . . . . . "HTML Summary of #599 \n\nConjunctive Partial Deduction in Practice\n\n" . "text/html" . . "59" . "82" . . . "Redundant Argument Filtering of Logic Programs"^^ . "1996-08" . . "Springer-Verlag, Berlin"^^ . . "Springer-Verlag, Berlin"^^ . . . . . . . . . . . . . "M."^^ . "Leuschel"^^ . "M. Leuschel"^^ . . "M. H."^^ . "Sørensen"^^ . "M. H. Sørensen"^^ . . "J."^^ . "Gallagher"^^ . "J. Gallagher"^^ . . . . "Proc. 6th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), LNCS 1207"^^ . . . . . . . "HTML Summary of #601 \n\nRedundant Argument Filtering of Logic Programs\n\n" . "text/html" . . "83" . "103" . . . "Proceedings of the ninth British Machine Vision Conference BMVC98"^^ . "1998-09" . . "British Machine Vision Association"^^ . . "British Machine Vision Association"^^ . . . . . . . . . "M. S."^^ . "Nixon"^^ . "M. S. Nixon"^^ . . "P. H."^^ . "Lewis"^^ . "P. H. Lewis"^^ . . . . . "HTML Summary of #634 \n\nProceedings of the ninth British Machine Vision Conference BMVC98\n\n" . "text/html" . . . . "A Finitary Language Semantics for Propositional Linear Temporal Logic"^^ . "1996" . . "World Scientific, Singapore"^^ . . "World Scientific, Singapore"^^ . . . . . . . . . . . . . . . . "G."^^ . "Rozenberg"^^ . "G. Rozenberg"^^ . . "A."^^ . "Salomaa"^^ . "A. Salomaa"^^ . . "J."^^ . "Dassow"^^ . "J. Dassow"^^ . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . . . "Proc. 2nd Int. Conf. Developments in Language Theory (DLT)"^^ . . . . . . . "HTML Summary of #616 \n\nA Finitary Language Semantics for Propositional Linear Temporal Logic\n\n" . "text/html" . . "482" . "489" . . . "A Genetic Approach to Understanding Cooperative Behaviour"^^ . "1996" . . "Technical Univ. of Brno"^^ . . . . . . . . . . . . . . . . "H."^^ . "Glaser"^^ . "H. Glaser"^^ . . "A."^^ . "Salhi"^^ . "A. Salhi"^^ . . "P."^^ . "Osmera"^^ . "P. Osmera"^^ . . "D."^^ . "De Roure"^^ . "D. De Roure"^^ . . . . "Proc. 2nd Int. Mendel Conf. on Genetic Algorithms (MENDEL'96)"^^ . . . . . . . . . . . "HTML Summary of #621 \n\nA Genetic Approach to Understanding Cooperative Behaviour\n\n" . "text/html" . . "129" . "136" . . . "CHASM: Counts and Heuristics for Analysis of Static Models"^^ . "1997-05" . . "Dept. of Electr. and Comp. Sci, Univ. of Southampton, England"^^ . . . . . . . . . . . . "R."^^ . "Harrison"^^ . "R. Harrison"^^ . . "K. T."^^ . "Phalp"^^ . "K. T. Phalp"^^ . . "S. J."^^ . "Counsell"^^ . "S. J. Counsell"^^ . . . . "Proc. Workshop on Process Modelling and Empirical Studies of Software Evolution"^^ . . . . . . "HTML Summary of #619 \n\nCHASM: Counts and Heuristics for Analysis of Static Models\n\n" . "text/html" . . "58" . "63" . . . "Formulating Update Messages"^^ . "This paper presents a method with which we can generate update messages for use with Smalltalk's dependency mechanism. The basic idea is that any messages which cause an object to change are forwarded to the object's dependants. The method is perfectly general and future proofs objects against changes in their dependants."^^ . "1995-07" . . "30" . "7" . . "ACM Press"^^ . . . "ACM Sigplan Notices"^^ . . . "03621340" . . . . . "Jon."^^ . "Hallett"^^ . "Jon. Hallett"^^ . . . . . . . . "Formulating Update Messages (PDF)"^^ . . . . . . . . . "fu3.pdf"^^ . . . "Formulating Update Messages (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Formulating Update Messages (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Formulating Update Messages (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #624 \n\nFormulating Update Messages\n\n" . "text/html" . . "41" . "44" . . . "Empirical data modelling algorithms: Additive spline models and support vector machines"^^ . "Empirical data modelling techniques are widely used in the control field, from simple white-box, linear parameter identification schemes to black-box non-linear models. Non-linear, semi-parametric model building algorithms have been extensively studied over the past ten years, and despite their success in many applications where prior information is lacking or incorrect, verification and validation is notoriously difficult. One of the key aspects of verification and validation is transparency, where the network's generalisation abilities are explicitly represented. This paper describes two approaches for building an ANOVA representation of non-linear, multivariate data: one based on forwards selection and backwards elimination spline models and the other using a support vector machine with an ANOVA-kernel decomposition."^^ . "1998" . . . . . . . . "M."^^ . "Brown"^^ . "M. Brown"^^ . . "S. R."^^ . "Gunn"^^ . "S. R. Gunn"^^ . . . . "UKACC Int. Conf. on Control '98"^^ . . . . . . . . "HTML Summary of #628 \n\nEmpirical data modelling algorithms: Additive spline models and support vector machines\n\n" . "text/html" . . . . "Verification and Behaviour Abstraction Towards a Tractable Verification Technique for Large Distributed Systems"^^ . "1996" . "33" . . "J. of Systems and Software"^^ . . . "01641212" . . . . . "U."^^ . "Nitsche"^^ . "U. Nitsche"^^ . . . . . . . "HTML Summary of #614 \n\nVerification and Behaviour Abstraction Towards a Tractable Verification Technique for Large Distributed Systems\n\n" . "text/html" . . "273" . "285" . . . "On the discrete representation of the laplacian of gaussian"^^ . "1998" . "32" . "8" . . "Pattern Recognition"^^ . . . . . . . "S. R."^^ . "Gunn"^^ . "S. R. Gunn"^^ . . . . . . . . "HTML Summary of #631 \n\nOn the discrete representation of the laplacian of gaussian\n\n" . "text/html" . . "1463" . "1472" . . "Automatic Gait Recognition"^^ . "Gait is an emergent biometric aimed essentially to recognise people by the way they walk. Gait's advantages are that it is non-invasive, like automatic face recognition, and that it is less likely to be obscured than other biometrics. Gait has allied subjects including medical studies, psychology, human body modelling and motion tracking. These lend support to the view that gait has clear potential as a biometric. Essentially, we require to use computer vision techniques to derive a gait signature from a sequence of images. The majority of current approaches analyse an image sequence to derive motion characteristics which are then used for recognition; only one approach is feature based. Early results by these studies confirm that there is a rich potential in gait for recognition."^^ . "1999" . . "Kluwer Academic Publishers"^^ . . "Kluwer Academic Publishers"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . "S."^^ . "Pankanti"^^ . "S. Pankanti"^^ . . "S. V."^^ . "Stevenage"^^ . "S. V. Stevenage"^^ . . "J. N."^^ . "Carter"^^ . "J. N. Carter"^^ . . "M. S."^^ . "Nixon"^^ . "M. S. Nixon"^^ . . "P. S."^^ . "Huang"^^ . "P. S. Huang"^^ . . "R."^^ . "Bolle"^^ . "R. Bolle"^^ . . "D."^^ . "Cunado"^^ . "D. Cunado"^^ . . "A. K."^^ . "Jain"^^ . "A. K. Jain"^^ . . . . "Biometrics: Personal Identification in Networked Society"^^ . . . . . . . . . "HTML Summary of #633 \n\nAutomatic Gait Recognition\n\n" . "text/html" . . "231" . "250" . . . "Combining the Strengths of Information Management Techniques to Meet the Needs of Legal Professionals"^^ . "1996-05" . "1" . "2" . . "Electronic J. Information, Law and Technology"^^ . . . "13614169" . . . . . . . . "P. J."^^ . "Soper"^^ . "P. J. Soper"^^ . . "M. A."^^ . "Pasha"^^ . "M. A. Pasha"^^ . . . . . . . "HTML Summary of #617 \n\nCombining the Strengths of Information Management Techniques to Meet the Needs of Legal Professionals\n\n" . "text/html" . . . "Evaluation of Multiple Beam Interference Effects in Infrared Gas Spectroscopy"^^ . "1999" . "10" . "3" . . "Measurement Science and Technology"^^ . . . "Mansfield C"^^ . "D"^^ . "Mansfield C D"^^ . . "Rutt H"^^ . "N"^^ . "Rutt H N"^^ . . . . . . "HTML Summary of #651 \n\nEvaluation of Multiple Beam Interference Effects in Infrared Gas Spectroscopy\n\n" . "text/html" . . "206" . "210pp" . . . "Extracting a Human Gait Model for use as a Biometric"^^ . "1998-07" . . "IEE"^^ . . . . . . . . . . . . "Mark S."^^ . "Nixon"^^ . "Mark S. Nixon"^^ . . "John N."^^ . "Carter"^^ . "John N. Carter"^^ . . "David"^^ . "Cunado"^^ . "David Cunado"^^ . . . . "IEE Colloquium \"Computer Vision for Virtual Human Modelling\""^^ . . . . . . . . . "HTML Summary of #640 \n\nExtracting a Human Gait Model for use as a Biometric\n\n" . "text/html" . . "11/1" . "11/4" . . . "Video Segmentation using Combined Cues"^^ . "1998-01" . . "3312" . . "SPIE"^^ . . . . . . . . . . . . "M. S."^^ . "Nixon"^^ . "M. S. Nixon"^^ . . "P. H."^^ . "Lewis"^^ . "P. H. Lewis"^^ . . "M. S."^^ . "Toller"^^ . "M. S. Toller"^^ . . . . "Proc. SPIE Electronic Imaging: Storage and Retrieval for Image and Video Databases VI"^^ . . . . . . . . . . . . "Video Segmentation using Combined Cues (Postscript)"^^ . . . . . . . . . "msteipaper98.ps"^^ . . . "Video Segmentation using Combined Cues (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Video Segmentation using Combined Cues (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . "HTML Summary of #637 \n\nVideo Segmentation using Combined Cues\n\n" . "text/html" . . "414" . "425" . . . "Finding Continuous-Model Moving Shapes by Evidence Gathering"^^ . "Two recent approaches are combined in a new technique to find moving arbitrary shapes. We combine the new Velocity Hough Transform, which extracts moving conic sections, with a continuous formulation for arbitrary shape extraction. The new technique is demonstrated to provide motion analysis that is resilient to noise and to be able to detect its target shapes, which are both moving and arbitrary. Further, it is shown to have performance advantage over contemporaneous single-image extraction techniques. Finally, it appears to offer improved immunity to noise and occlusion, as consistent with evidence gathering techniques. The target application of this new approach is for use in automatic gait recognition, as a primer for shape extraction or as a basis for a recognition technique."^^ . "1999-05" . . . "IEE"^^ . . . . . . . . . . . . "Mark S."^^ . "Nixon"^^ . "Mark S. Nixon"^^ . . "Michael G."^^ . "Grant"^^ . "Michael G. Grant"^^ . . "Paul H."^^ . "Lewis"^^ . "Paul H. Lewis"^^ . . . . "IEE Colloquium \"Motion Analysis and Tracking"^^ . . . . . . . . . . . . . "Finding Continuous-Model Moving Shapes by Evidence Gathering (Microsoft Word)"^^ . . . "iee99.doc"^^ . . "HTML Summary of #642 \n\nFinding Continuous-Model Moving Shapes by Evidence Gathering\n\n" . "text/html" . . "14/1" . "14/4" . . . "Gait Extraction and Description by Evidence-Gathering"^^ . "Using gait as a biometric is of increasing interest, yet there are few model-based, parametric, approaches to extract and describe moving articulated objects. One new approach can detect moving parametric objects by evidence gathering, hence accruing known performance advantages in terms of performance and occlusion. Here we show how that the new technique can be extended not only to extract a moving person, but also to extract and concurrently provide a gait signature for use as a biometric. We show the natural relationaship between the bases of these approaches, and the results they can provide. As such, these techniques allow for gait extraction and description for recognition purposes, and with known performance advantages of a well-established vision technique."^^ . "1999-03" . . . "IAPR"^^ . . . . . . . . . . . . . . . "Mark S."^^ . "Nixon"^^ . "Mark S. Nixon"^^ . . "David"^^ . "Cunado"^^ . "David Cunado"^^ . . "Jason M."^^ . "Nash"^^ . "Jason M. Nash"^^ . . "John N."^^ . "Carter"^^ . "John N. Carter"^^ . . . . "Proceedings of the Second International Conference on Audio- and Video-Based Biometric Person Authentication AVBPA99"^^ . . . . . . . . . . "Gait Extraction and Description by Evidence-Gathering (PDF)"^^ . . . . . . . . . "cunadonash.pdf"^^ . . . "Gait Extraction and Description by Evidence-Gathering (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Gait Extraction and Description by Evidence-Gathering (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Gait Extraction and Description by Evidence-Gathering (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #638 \n\nGait Extraction and Description by Evidence-Gathering\n\n" . "text/html" . . "43" . "48" . . . "Optimal Piecewise locally linear modelling"^^ . "1999" . . . "SPIE"^^ . . . . . . . . . . . . "M"^^ . "Feng"^^ . "M Feng"^^ . . "X."^^ . "Hong"^^ . "X. Hong"^^ . . "C. J."^^ . "Harris"^^ . "C. J. Harris"^^ . . . . . . . . . . . "Optimal Piecewise locally linear modelling (Postscript)"^^ . . . . . . . . . "neu3.ps"^^ . . . "Optimal Piecewise locally linear modelling (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Optimal Piecewise locally linear modelling (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #663 \n\nOptimal Piecewise locally linear modelling\n\n" . "text/html" . . "486" . "93" . . . "A line of sight counteraction navigation algorithm for ship encounter collision avoidance"^^ . "2001" . . "Submitted to Journal of Navigation"^^ . . . . . . . . . . . . "X"^^ . "Hong"^^ . "X Hong"^^ . . "P.A"^^ . "Wilson"^^ . "P.A Wilson"^^ . . "C. J"^^ . "Harris"^^ . "C. J Harris"^^ . . . . . . . . . "HTML Summary of #667 \n\nA line of sight counteraction navigation algorithm for ship encounter collision avoidance\n\n" . "text/html" . . . . "An intelligent guidance and control system for ship obstacle avoidance"^^ . "An intelligent guidance and control system using a neurofuzzy network multistep ahead predictor model is\n introduced and applied to ship obstacle avoidance, which uses only observed input/output data generated by on board and external \n sensors, and a data fusion algorithm to generate the desired waypoints. A simple and effective waypoint guidance scheme based on\n line-of-sight is derived for a data based ship model. A neurofuzzy network predictor, based on using rudder deflection angle \n for the control of ship heading angle, is utilised on the simulation of ESSO 190000dwt tanker model to demonstrate the\n effectiveness of the system. The approach is generic and extendable to aircraft and missile control and guidance problems where\n the vehicle dynamics change significantly during flight in a manner dependent upon operational use, the only requirement for \n implementation being observed data to construct sensor and vehicle models."^^ . "1999" . . "ICSC"^^ . . . . . . . . . . . . "X."^^ . "Hong"^^ . "X. Hong"^^ . . "P.A"^^ . "Wilson"^^ . "P.A Wilson"^^ . . "C. J."^^ . "Harris"^^ . "C. J. Harris"^^ . . . . . . . . . "HTML Summary of #662 \n\nAn intelligent guidance and control system for ship obstacle avoidance\n\n" . "text/html" . . "135" . "40" . . . "Neurofuzzy state identification using prefiltering"^^ . "1999" . "146" . "2" . . "IEE Proc D, Control Theory and Applications"^^ . . . . . . . . . . . . "X"^^ . "Hong"^^ . "X Hong"^^ . . "C. J"^^ . "Harris"^^ . "C. J Harris"^^ . . "P.A"^^ . "Wilson"^^ . "P.A Wilson"^^ . . . . . . . . . "HTML Summary of #664 \n\nNeurofuzzy state identification using prefiltering\n\n" . "text/html" . . "234" . "40" . . . "Generalised neurofuzzy network modelling algorithms using Bezier Bernstein polynomial functions and additive decomposition"^^ . "This paper introduces a new neurofuzzy model construction algorithm for nonlinear dynamic systems based upon basis functions that are Bezier Bernstein polynomial functions. This paper is generalised in that it copes with n-dimensional inputs by utilising an additive decomposition construction to overcome the curse of dimensionality associated with high n.. This new construction algorithm also introduces univariate Bezier Bernstein polynomial functions for the completeness of the generalised procedure. \nLike the B-spline expansion based neurofuzzy systems, Bezier Bernstein polynomial function based neurofuzzy networks hold desirable properties such as nonnegativity of the basis functions, unity of support, and interpretability of basis function as fuzzy membership functions, moreover with the additional advantages of structural parsimony and Delaunay input space partition, essentially overcoming the curse of dimensionality associated with conventional fuzzy and RBF networks. This new modelling network is based on additive decomposition approach together with two separate basis function formation approaches for both univariate and bivariate Bezier Bernstein polynomial functions used in model construction. The overall network weights are then learnt using conventional least squares methods. Numerical examples are included to demonstrate the effectiveness of this new data based modelling approach."^^ . "2000" . . "11" . "4" . . "IEEE Trans Neural Networks"^^ . . . . . . . . . "X"^^ . "Hong"^^ . "X Hong"^^ . . "C .J"^^ . "Harris"^^ . "C .J Harris"^^ . . . . . . . . . . "Generalised neurofuzzy network modelling algorithms using Bezier Bernstein polynomial functions and additive decomposition (Postscript)"^^ . . . . . . . . . "neu8.ps"^^ . . . "Generalised neurofuzzy network modelling algorithms using Bezier Bernstein polynomial functions and additive decomposition (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "Generalised neurofuzzy network modelling algorithms using Bezier Bernstein polynomial functions and additive decomposition (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . "HTML Summary of #669 \n\nGeneralised neurofuzzy network modelling algorithms using Bezier Bernstein polynomial functions and additive decomposition\n\n" . "text/html" . . "889" . "902" . . . "A behavioural approach to the pole structure of one-dimensional and multidimensional linear systems"^^ . "We use the tools of behavioural theory and commutative algebra to produce a new definition of a (finite) pole of a linear system. This definition agrees with the classical one, and allows a direct dynamical interpretation. It also generalizes immediately to the case of a multidimensional system. We make a natural division of poles into controllable and uncontrollable poles. When the behaviour in question has latent variables, we make a further division into observable and unobservable poles. In the case of a 1D state-space model, the uncontrollable and unobservable poles correspond respectively to the input and output decoupling zeros, whereas \r\nthe observable controllable poles are the transmission poles.\r\n\r\nMost of these definitions can be interpreted dynamically in both the 1D and nD cases, and some can be connected to properties of kernel representations. We also examine the \r\nconnections between poles, transfer matrices and their left and right MFDs. We find behavioural results which correspond to the concepts that a controllable system is precisely \r\none with no input decoupling zeros, and an observable system is precisely one with no output decoupling zeros. We produce a decomposition of a behaviour as the sum of sub-behaviours associated with various poles. This is related to the integral representation theorem which describes every system trajectory as a sum of integrals of polynomial exponential trajectories."^^ . "2000" . . "38" . "2" . . "SIAM Journal on Control and Optimization"^^ . . . . . . . . . . . . . . . . . "J"^^ . "Wood"^^ . "J Wood"^^ . . "E"^^ . "Rogers"^^ . "E Rogers"^^ . . "D H"^^ . "Owens"^^ . "D H Owens"^^ . . "U"^^ . "Oberst"^^ . "U Oberst"^^ . . . . . . . . . . "A behavioural approach to the pole structure of one-dimensional and multidimensional linear systems (Postscript)"^^ . . . . . . . . . "poles.ps"^^ . . . "A behavioural approach to the pole structure of one-dimensional and multidimensional linear systems (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "A behavioural approach to the pole structure of one-dimensional and multidimensional linear systems (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . "HTML Summary of #672 \n\nA behavioural approach to the pole structure of one-dimensional and multidimensional linear systems\n\n" . "text/html" . . "627" . "61" . . "Fobbing of Draught Beer using Ultrasonic Energy"^^ . "1969-08" . . . . . . . . "Sue"^^ . "Ellis"^^ . "Sue Ellis"^^ . . . . . . . . "HTML Summary of #676 \n\nFobbing of Draught Beer using Ultrasonic Energy\n\n" . "text/html" . . . . "Stability analysis for a class of 2D continuous-discrete linear systems with dynamic boundary conditions"^^ . "Differential linear repetitive processes are a class of continuous-discrete 2D linear systems of both practical and algorithmic interest. This paper undertakes a stability analysis for these \r\nprocesses in the presence of a general set of boundary conditions. The major conclusion \r\nis that a correct characterization of stability for these processes is critically dependent on the \r\nstructure of these conditions."^^ . "1999" . "37" . . "Systems and Control Letters"^^ . . . . . . . . . . . "D H"^^ . "Owens"^^ . "D H Owens"^^ . . "E"^^ . "Rogers"^^ . "E Rogers"^^ . . . . . . . . "HTML Summary of #670 \n\nStability analysis for a class of 2D continuous-discrete linear systems with dynamic boundary conditions\n\n" . "text/html" . . "55" . "60" . . . "Performance enhancements for a class of multiple model adaptive control schemes"^^ . "Multiple model adaptive control schemes offer the potential of improved performance over conventional single model schemes in a number of cases of practical interest. This paper describes modifications to enhanc the performance of one class of such schemes when \r\napplied to linear and (potentially) non-linear processes."^^ . "1999" . "13" . . "International Journal of Adaptive Control and Signal Processing"^^ . . . . . . . . . . . "T"^^ . "Autenrieth"^^ . "T Autenrieth"^^ . . "E"^^ . "Rogers"^^ . "E Rogers"^^ . . . . . . . . "HTML Summary of #671 \n\nPerformance enhancements for a class of multiple model adaptive control schemes\n\n" . "text/html" . . "105" . "127" . . . "Development of a MATLAB Toolbox for a Class of 2D Linear Systems"^^ . "This paper describes the development of a MATLAB based toolbox for the analysis of linear \r\nrepetitive processes and illustrates its use in the simulation and control fo these processes."^^ . "2000" . "38" . . "SAMS (Systems-Analysis-Modeling-Simulation)"^^ . . . . . . . . . . . . . . . . . . . . "J"^^ . "Gramacki"^^ . "J Gramacki"^^ . . "A"^^ . "Gramacki"^^ . "A Gramacki"^^ . . "E"^^ . "Rogers"^^ . "E Rogers"^^ . . "D H"^^ . "Owens"^^ . "D H Owens"^^ . . "K"^^ . "Galkowski"^^ . "K Galkowski"^^ . . . . . . . . . "HTML Summary of #675 \n\nDevelopment of a MATLAB Toolbox for a Class of 2D Linear Systems\n\n" . "text/html" . . "313" . "324" . . . "Matrix rank based conditions for reachability/controllability of discrete linear repetitive processes"^^ . "This paper uses both 2D and standard, or 1D, representations of the dynamics of discrete linear repetitive processes to characterize their reachability/controllability properties. The major new results are a 1D representation of constant dimensions and characterizations of reachability/controllability in terms of matrix rank based conditions."^^ . "1998" . "275-27" . . "Linear Algebra and its Applications"^^ . . . . . . . . . . . . . . "D H"^^ . "Owens"^^ . "D H Owens"^^ . . "E"^^ . "Rogers"^^ . "E Rogers"^^ . . "K"^^ . "Galkowski"^^ . "K Galkowski"^^ . . . . . . . . . "HTML Summary of #674 \n\nMatrix rank based conditions for reachability/controllability of discrete linear repetitive processes\n\n" . "text/html" . . "201" . "224" . . . "Predictive Optimal Iterative Learning Control"^^ . "A new optimization-based iterative learning control algorithm is proposed and its properteis dervied. An important characteristic of this algorithm is that it uses present and future predicted errors to compute the current control, in a similar manner to model-based predictive control \r\nusing a receding horizon. In particular, it enables the algorithm designer to achieve good control over convergence rate. The actual implementation has a multimodel structure but uses standard linear quadratic regulator methods for a causal formulation (in the iterative learning sense) of what is originally a non-causal algorithm. The results are illustrated by simulations."^^ . "1998" . "69" . "2" . . "International Journal of Control"^^ . . . . . . . . . . . . . . "N"^^ . "Amann"^^ . "N Amann"^^ . . "E"^^ . "Rogers"^^ . "E Rogers"^^ . . " D H"^^ . "Owens"^^ . " D H Owens"^^ . . . . . . . . "HTML Summary of #673 \n\nPredictive Optimal Iterative Learning Control\n\n" . "text/html" . . "203" . "226" . . . "Neurofuzzy network model construction using Bezier Bernstein polynomial functions"^^ . "2000" . . "147" . "3" . . "IEE Proc. D Control Theory and Applications"^^ . . . . . . . . . "X."^^ . "Hong"^^ . "X. Hong"^^ . . "C. J."^^ . "Harris"^^ . "C. J. Harris"^^ . . . . . . . . . . "Neurofuzzy network model construction using Bezier Bernstein polynomial functions (Postscript)"^^ . . . . . . . . . "neu7.ps"^^ . . . "Neurofuzzy network model construction using Bezier Bernstein polynomial functions (Image (PNG))"^^ . . . . . . "fullsize.png"^^ . . . "Neurofuzzy network model construction using Bezier Bernstein polynomial functions (Image (PNG))"^^ . . . . . . "preview.png"^^ . . "HTML Summary of #668 \n\nNeurofuzzy network model construction using Bezier Bernstein polynomial functions\n\n" . "text/html" . . "337" . "43" . . . "Control and State Performance Measures in Unmatched Approximate Adaptive Control"^^ . "We consider strict feedback systems with are functionally known up to a (weighted) $L^2$ measure of uncertainty. A modified $L^2$ performance cost functional is introduced, this incorporates both state and control effort terms, and the performance of a class of model based adaptive controllers is studied. A worst case upper performance bound is derived in terms of the uncertainty measure."^^ . "1998" . . . . . . . . "M."^^ . "French"^^ . "M. French"^^ . . "E."^^ . "Rogers"^^ . "E. Rogers"^^ . . . . "4th IFAC Nonlinear Control Systems Design Symposium"^^ . . . . . . . . . "HTML Summary of #697 \n\nControl and State Performance Measures in Unmatched Approximate Adaptive Control\n\n" . "text/html" . . "679" . "" . . . "An Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design"^^ . "1999" . . "IEEE"^^ . . "M."^^ . "French"^^ . "M. French"^^ . . . . "Proceedings of the 1999 IEEE Conference on Decision and Control"^^ . . . . . . . . "HTML Summary of #700 \n\nAn Analytical Comparison of the Weighted LQ Performance of a Robust and an Adaptive Backstepping Design\n\n" . "text/html" . . "5182" . "5188" . . . "Nonlinear Iterative Learning by an Adaptive Lyapunov Technique"^^ . "1998" . . "IEEE"^^ . . . . . . . . . "M."^^ . "French"^^ . "M. French"^^ . . "E."^^ . "Rogers"^^ . "E. Rogers"^^ . . . . "1998 IEEE Conference on Decision and Control"^^ . . . . . . . . . "HTML Summary of #699 \n\nNonlinear Iterative Learning by an Adaptive Lyapunov Technique\n\n" . "text/html" . . "175" . "180" . . . "Neurofuzzy State Estimators and their Applications"^^ . "1999" . "23" . "1" . . "Annual Reviews in Control"^^ . . . . . . . .