Search results for "ALF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Camilla Rotander, Alf J. Isaksson	Evaluation of AR and ARMA models for estimation of core stability in nuclear reactors.	ECC	1999	DBLP DOI BibTeX RDF
23	Ragnar Wallin, Alf J. Isaksson	Existence of multiple global optima when identifying AR models subject to missing data.	ECC	1999	DBLP DOI BibTeX RDF
23	Uwe Jendricke, Alf Zugenmaier	Architekturen für mehrseitige sichere Telekommunikationsnetze.	GI Jahrestagung	1999	DBLP DOI BibTeX RDF
23	Polydoros Chios, A. C. Tan, Alf D. Linney, G. H. Alusi, Alexa Wright, Graham J. Woodgate, David Ezra	The Potential Use of an Autostereoscopic 3D Display in Microsurgery.	MICCAI	1999	DBLP DOI BibTeX RDF
23	Colin O'Halloran, Alf Smith	Verification of Picture Generated Code.	ASE	1999	DBLP DOI BibTeX RDF	Ada, Z, Automatic Code Generation, Proof, Simulink, SPARK, Control Laws
23	Alf Kimms, Andreas Drexl	Some insights into proportional lot sizing and scheduling.	J. Oper. Res. Soc.	1998	DBLP DOI BibTeX RDF
23	Alf Kimms	Fallbasiertes Schließen auf Methoden zur Produktionsplanung.	Wirtschaftsinf.	1998	DBLP BibTeX RDF
23	V. Balasubramanian 0001, Alf Bashian	Document Management and Web Technologies: Alice Marries the Mad Hatter.	Commun. ACM	1998	DBLP DOI BibTeX RDF	World Wide Web (WWW)
23	Alf Kimms, Andreas Drexl	Proportional lot sizing and scheduling: Some extensions.	Networks	1998	DBLP DOI BibTeX RDF
23	Alf Ritter, Joachim Böttger, Oliver Deussen	Generierung synthetischer Hologramme durch Texture Mapping.	SimVis	1998	DBLP BibTeX RDF
23	Alf Inge Wang, Jens-Otto Larsen, Reidar Conradi, Bjørn P. Munch	Improving Cooperation Support in the EPOS CM System.	EWSPT	1998	DBLP DOI BibTeX RDF
23	Tryphon Lambrou, Panos Kudumakis, Robert D. Speller, Mark B. Sandler, Alf D. Linney	Classification of audio signals using statistical features on time and wavelet transform domains.	ICASSP	1998	DBLP DOI BibTeX RDF
23	Daniel Gordon, Rick Chapman, Hans Kunov, Alf Dolan, Michael W. Carter	Hospital Management Decision Support: A Balanced Scorecard Approach.	MedInfo	1998	DBLP DOI BibTeX RDF
23	Oliver Deussen, Matthias König 0001, Alf Ritter, Thomas Strothotte	Schnelle computergraphische Hologrammberechnung für Displayzwecke.	GI Jahrestagung	1998	DBLP DOI BibTeX RDF
23	Colin O'Halloran, Alf Smith	Don't Verify, Abstract!	ASE	1998	DBLP DOI BibTeX RDF
23	Alf Ritter	Texturbasierte Generierung synthetischer Hologramme.		1998	RDF
23	Mats Høvin, Alf Olsen, Tor Sverre Lande, Chris Toumazou	Delta-sigma modulators using frequency-modulated intermediate values.	IEEE J. Solid State Circuits	1997	DBLP DOI BibTeX RDF
23	Alf Ritter, Thomas Benziger	Synthetische Holografie und Computergrafik.	SimVis	1997	DBLP BibTeX RDF
23	Alf Ritter, Oliver Deussen, Hubert Wagener, Thomas Strothotte	Holographic imaging of lines: a texture based approach.	IV	1997	DBLP DOI BibTeX RDF
23	Alf Wachsmann, Rolf Wanka	Sorting on a Massively Parallel System Using a Library of Basic Primitives: Modeling and Experimental Results.	Euro-Par	1997	DBLP DOI BibTeX RDF
23	G. H. Alusi, A. C. Tan, Alf D. Linney, K. Raoof, Alexa Wright	Three dimensional tracking with ultrasound for augmented reality applications in skull base surgery.	CVRMed	1997	DBLP DOI BibTeX RDF
23	Minh Ngoc Nguyen 0001, Alf Inge Wang, Reidar Conradi	Total Software Process Model Evolution in EPOS (Experience Report).	ICSE	1997	DBLP DOI BibTeX RDF	categorization framework for process evolution, empirical evolution data, evolution pattern, experience reuse and learning, process model evolution
23	V. Balasubramanian 0001, Alf Bashian, Daniel Porcher	A Large-Scale Hypermedia Application using Document Management and Web Technologies.	Hypertext	1997	DBLP DOI BibTeX RDF	information retrival, systematic hypermedia design, WWW, World Wide Web (WWW), workflow, HTML, views, templates, document management, publishing, distributed authoring
23	Joao Nuno Ferreira, Alf Hansen, Tomaz Klobucar, Klaus-Peter Kossakowski, Manuel Medina, Damir Rajnovic, Olaf Schjelderup, Don Stikvoort	CERTs in Europe.	Comput. Networks ISDN Syst.	1996	DBLP DOI BibTeX RDF
23	Bernhard Preim, Alf Ritter, Thomas Strothotte	Illustrating Anatomic Models - A Semi-Interactive Approach.	VBC	1996	DBLP DOI BibTeX RDF
23	Michael Rüger, Bernhard Preim, Alf Ritter	Zoom navigation exploring large information and application spaces.	AVI	1996	DBLP DOI BibTeX RDF	detail + context technique, fisheye display, zoom navigation, human-computer interfaces, information navigation, zooming interfaces, screen layout
23	Alf-Christian Achilles, Martin Kutrib, Thomas Worsch	On Relations between Arrays of Processing Elements of Different Dimensionality.	Parcella	1996	DBLP BibTeX RDF
23	Alf-Christian Achilles	Optimal Emulation of Meshes on Meshes of Trees.	Euro-Par	1995	DBLP DOI BibTeX RDF
23	Mats Erling Høvin, Alf Olsen, Tor Sverre Lande, Chris Toumazou	Delta-Sigma Converters Using Frequency-Modulated Intermediate Values.	ISCAS	1995	DBLP DOI BibTeX RDF
23	Alf Wachsmann	Eine Bibliothek von Basisdiensten für Parallelrechner: Routing, Synchronisation, gemeinsamer Speicher.		1995	RDF
23	Yakov Z. Tsypkin, David J. Hill 0001, Alf J. Isaksson	A frequency-domain robust instability criterion for time-varying and non-linear systems.	Autom.	1994	DBLP DOI BibTeX RDF
23	Alf J. Isaksson	Frequency domain accuracy of identified 2-D causal AR-models.	IEEE Trans. Signal Process.	1994	DBLP DOI BibTeX RDF
23	Robert A. Hagens, Alf Hansen	Operational Requirements for X.400 Management Domains in the GO-MHS Community.	RFC	1994	DBLP DOI BibTeX RDF
23	Henning Christiansen 0001, Troels Andreasen, Alf Beck Nielsen	Negative Counterfactuals as Constraints in Deductive Databases.	FQAS	1994	DBLP BibTeX RDF
23	W. Richard Fright, Alf D. Linney	Registration of 3-D head surfaces using multiple landmarks.	IEEE Trans. Medical Imaging	1993	DBLP DOI BibTeX RDF
23	João Carlos Campos, Alf D. Linney, J. P. Moss	The analysis of facial profiles using scale space techniques.	Pattern Recognit.	1993	DBLP DOI BibTeX RDF
23	Alf J. Isaksson	Identification of ARX-models subject to missing data.	IEEE Trans. Autom. Control.	1993	DBLP DOI BibTeX RDF
23	Alf J. Isaksson	Analysis of identified 2-D noncausal models.	IEEE Trans. Inf. Theory	1993	DBLP DOI BibTeX RDF
23	Alf Dengler	Algorithmen und Softwaremodule für die computerunterstützte Lösung chemischer Probleme.		1992	RDF
23	C. Allan Cargille, Robert A. Hagens, Alf Hansen, Lawrence H. Landweber	The Internet X.400 Pilot Project.	Comput. Networks ISDN Syst.	1991	DBLP BibTeX RDF
23	Alf Dengler, Ivar Ugi	A Central Atom Based Algorithm and Computer Program for Substructure Search.	Comput. Chem.	1991	DBLP DOI BibTeX RDF
23	Jan-Erik Strömberg, Jalel Zrida, Alf J. Isaksson	Neural trees-using neural nets in a tree classifier structure.	ICASSP	1991	DBLP DOI BibTeX RDF
23	Alf Smith	On Recursive Free Types in Z.	Z User Workshop	1991	DBLP BibTeX RDF
23	Alf Lebrecht	Die Anwendung des CIM-Konzeptes auf den DV-Betrieb, dargestellt am Beispiel der Produktionsplanung und -steuerung.	GI-Fachgespräch über Rechenzentren	1991	DBLP DOI BibTeX RDF
23	Alf Kalanke	Kostenoptimierte automatische Lastgangregulierung des Elektroenergieverbrauches in Industriebetrieben: Theorie und Technik.		1991	RDF
23	Alf Hansen	Coordination of Mail Gateways: The X.400-RFC Problem.	Comput. Networks ISDN Syst.	1990	DBLP DOI BibTeX RDF
23	Alf J. Isaksson	Frequency domain accuracy of identified 2-D causal models.	ICASSP	1989	DBLP DOI BibTeX RDF
23	Alf Smith	The Knuth-Bendix Completion Algorithm and Its Specification in Z.	Z User Workshop	1989	DBLP DOI BibTeX RDF
23	Alf Hansen	RARE MHS Project Review.	Comput. Networks	1988	DBLP DOI BibTeX RDF
23	Alf C. Zimmer, Hermann Körndle, Cornelia Karger	Informativität versus Robusthelt. Vergleich von Suchvorgängen im menschlichen Gedächtnis mit Mensch-Maschine-Dialogen am Beispiel Btx.	Software-Ergonomie	1987	DBLP BibTeX RDF
23	Alf C. Zimmer, Hermann Körndle	Schematheoretische Begründungen für die Ordnung unsicheren Wissens.	Wissensarten und ihre Darstellung	1986	DBLP DOI BibTeX RDF
23	Alf C. Zimmer	What Uncertainty Judgments Can Tell About the Underlying Subjective Probabilities.	UAI	1985	DBLP BibTeX RDF
23	Alf C. Zimmer	A Model for the Interpretation of Verbal Predictions.	Int. J. Man Mach. Stud.	1984	DBLP DOI BibTeX RDF
23	Leif B. Methlie, Alf M. Tverstøl	External information services: A survey of behavioral aspects of demand.	Inf. Manag.	1982	DBLP DOI BibTeX RDF
23	Alf Lebrecht	Programm- und Dateiverwaltungssytems als RZ-Hilfen.	GI Jahrestagung	1979	DBLP DOI BibTeX RDF
23	Alf Goldenberg, Christoph Schlier, Wolfgang Schupp	Höhere Prozesssprachen für kleinere Rechner - das Beispiel BASEX.	Fachtagung Prozessrechner	1974	DBLP DOI BibTeX RDF
19	Giovanni Sartor	Legal concepts as inferential nodes and ontological categories.	Artif. Intell. Law	2009	DBLP DOI BibTeX RDF	Legal concepts, Ontology, Inference
19	Catherine H. Crawford, Paul Henning, Michael Kistler, Cornell Wright	Accelerating computing with the cell broadband engine processor.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	hybrid programming models, accelerators
19	Abdelhamid Nafaa, Yassine Hadjadj Aoul, Daniel Négru, Ahmed Mehaoua	A Bandwidth-Efficient Application Level Framing Protocol for H.264 Video Multicast over Wireless LANs.	MMNS	2004	DBLP DOI BibTeX RDF
19	Suchitra Raman, Hari Balakrishnan, Murari Srinivasan	ITP: an image transport protocol for the internet.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	selective reliability, Internet, congestion control, computer networks, transport protocols, internetworking, network adaptation
19	Elena Gaudioso, Jesus Boticario	User Data Management and Usage Model Acquisition in an Adaptive Educational Collaborative Environment.	AH	2002	DBLP DOI BibTeX RDF
19	Claudia Gdaniec, Esmé Manandise	Using Word Formation Rules to Extend MT Lexicons.	AMTA	2002	DBLP DOI BibTeX RDF
19	Kun Tan, Yuanchun Shi, Guangyou Xu	A Pragmatic Semantic Reliable Multicast Architecture for Distant Learning.	ICMI	2000	DBLP DOI BibTeX RDF
19	Suchitra Raman, Hari Balakrishnan, Murari Srinivasan	An Image Transport Protocol for the Internet.	ICNP	2000	DBLP DOI BibTeX RDF	image transport protocol, Web downloads, in-order byte-stream abstraction, loss-prone congested networks, user-perceived latency, application level framing, out-of-order application data unit, receiver-driven selective reliability, image formats, receiver post-processing algorithms, Internet, Internet, image processing, image processing, wireless networks, transport protocols, image quality, JPEG, JPEG2000, visual communication, UDP, error concealment, PSNR, receiver, network congestion, image transmission, image data, peak signal-to-noise ratio, image rendering, reconstructed images, congestion manager, interactive performance
19	Haruo Noma, Toshiaki Sugihara, Tsutomu Miyasato	Development of Ground Surface Simulator for Tel-E-Merge System.	VR	2000	DBLP DOI BibTeX RDF	Work through, Virtual reality, telecommunication, Locomotion interface
19	Reidar Conradi, Maria Letizia Jaccheri	Process Modelling Languages.	Software Process: Principles, Methodology, Technology	1999	DBLP DOI BibTeX RDF
19	Qiao Haiyan	Formalising Formulas-as-Types-as-Objects.	TYPES	1999	DBLP DOI BibTeX RDF
19	Ilya Beylin, Peter Dybjer	Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids.	TYPES	1995	DBLP DOI BibTeX RDF
19	Lena Magnusson	An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification.	TYPES	1995	DBLP DOI BibTeX RDF
19	Michael Hanus	Incremental Rewriting in Narrowing Derivations.	ALP	1992	DBLP DOI BibTeX RDF
19	Jin-Kao Hao, F. Trousset, Jean Jacques	Prototyping an Inconsistency Checking Tool for Software Process Models.	SEKE	1992	DBLP DOI BibTeX RDF