Search results for "final"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Christopher Unkel, Monica S. Lam	Automatic inference of stationary fields: a generalization of java's final fields.	POPL	2008	DBLP DOI BibTeX RDF	stationary, Java, initialization, final
44	Masaaki Shirase, Tsuyoshi Takagi, Eiji Okamoto	Some Efficient Algorithms for the Final Exponentiation of eta T Pairing.	ISPEC	2007	DBLP DOI BibTeX RDF	?T pairing, final exponentiation, torus, Tate pairing
44	Nikolaos Demiris, Philip D. O'Neill	Computation of final outcome probabilities for the generalised stochastic epidemic.	Stat. Comput.	2006	DBLP DOI BibTeX RDF	Stochastic epidemic models, Final size, Markov chain Monte Carlo Methods, Multiple precision arithmetic, Limit theorems
44	M. V. Mielke	Final Lift Actions Associated with Topological Functors.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	topological category, final lift actions
40	Irena Srdanovic Erjavec, Andrej Bekes, Kikuko Nishina	Distant Collocations between Suppositional Adverbs and Clause-Final Modality Forms in Japanese Language Corpora.	LKR	2008	DBLP DOI BibTeX RDF	suppositional adverbs, clause-final modality, Japanese language, collocations, corpora
40	Xavier Granier, George Drettakis	A final reconstruction approach for a unified global illumination algorithm.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	final gather, hierarchical radiosity with clustering, Global illumination, density estimation, particle tracing
40	B. Olsson, Mikael Berndtsson, Björn Lundell, Jörgen Hansson	Running research-oriented final year projects for CS and IS students.	SIGCSE	2003	DBLP DOI BibTeX RDF	final year projects, research in undergraduate projects, process, examiners, supervisors
40	Jan J. M. M. Rutten, Daniele Turi	On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.	REX Workshop	1992	DBLP DOI BibTeX RDF	final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation
40	Michael Smirnov, Jon Crowcroft	QoS Roadmap for Future Internet Services.	QofIS Final Report	2003	DBLP DOI BibTeX RDF
37	Ignacio D. Viglizzo	Final Sequences and Final Coalgebras for Measurable Spaces.	CALCO	2005	DBLP DOI BibTeX RDF
37	Adi Ditkowski	Numerical Method for Solving Discontinuous Initial/Final-Value Problems.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Initial/final-value problems, Hyperbolic embedding, Two point boundary value problems, Embedding, Optimal control, Boundary-value problems, ODE
37	Jean-Luc Beuchat, Nicolas Brisebarre, Masaaki Shirase, Tsuyoshi Takagi, Eiji Okamoto	A Coprocessor for the Final Exponentiation of the eta T Pairing in Characteristic Three.	WAIFI	2007	DBLP DOI BibTeX RDF	final exponentiation, FPGA, hardware accelerator, ? T pairing, characteristic three
37	Hans-Georg Beyer, Dirk V. Arnold, Silja Meyer-Nieberg	A New Approach for Predicting the Final Outcome of Evolution Strategy Optimization Under Noise.	Genet. Program. Evolvable Mach.	2005	DBLP DOI BibTeX RDF	final fitness error, optimization quality, evolution strategies, robust optimization, noisy optimization
37	Marina Lenisa	Final Semantics for a Higher Order Concurrent Language.	CAAP	1996	DBLP DOI BibTeX RDF	second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction
37	Peter Aczel	Final Universes of Processes.	MFPS	1993	DBLP DOI BibTeX RDF	Final Universe, Process, CSP, Labelled, Transition System, CCS, Coalgebra
37	Karin Ennser, Slavisa Aleksic, Franco Curti, Davide Massimiliano Forin, Michael Galili, Miroslav Karásek, Leif K. Oxenløwe, Francesca Parmigiani, Periklis Petropoulos, Radan Slavík, Maria Spyropoulou, Stefano Taccheo, António Luis Jesus Teixeira, Ioannis Tomkos, Giorgio Maria Tosi-Beleffi, Cédric Ware	Optical Signal Processing Techniques for Signal Regeneration and Digital Logic.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Lena Wosinska, Didier Colle, Piet Demeester, Kostas Katrinis, Marko Lackovic, Ozren Lapcevic, Ilse Lievens, George Markidis, Branko Mikac, Mario Pickavet, Bart Puype, Nina Skorin-Kapov, Dimitri Staessens, Anna Tzanakaki	Network Resilience in Future Optical Networks.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Ioannis Tomkos, Maria Spyropoulou	Introduction.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Taisir E. H. El-Gorashi, Jaafar M. H. Elmirghani	Optical Storage Area Networks.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Martin Köhn, Walter Colitti, Pasquale Gurzi, Ann Nowé, Kris Steenhaut	Multi-layer Traffic Engineering (MTE) in Grooming Enabled ASON/GMPLS Networks.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Werner Rosenkranz, Slavisa Aleksic, Torger Tokle	Novel Transponder Interfaces: Novel Modulation Formats.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Davide Careglio, Javier Aracil 0001, Siamak Azodolmolky, Joan García-Haro, Sebastian Gunreben, Guoqiang Hu 0002, Mikel Izal, Andreas Kimsas, Miroslaw Klinkowski, Martin Köhn, Eduardo Magaña, Daniel Morató, Pablo Pavón-Mariño, Jordi Perelló, Joachim Scharf, Salvatore Spadaro, Ioannis Tomkos, Anna Tzanakaki, Javier Veiga-Gontán	Performance Issues in Optical Burst/Packet Switching.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Ioannis Papagiannakis, Gabriella Bosco, Daniel Fonseca, Dimitrios Klonidis, Pierluigi Poggiolini, Werner Rosenkranz, António Luis Jesus Teixeira, Ioannis Tomkos, Chunmin Xia	Electronic Channel Equalization Techniques.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Sébastien Rumley, Christian Gaumier, Ramon Aparicio-Pardo, Ching-Hung Chang, Walter Colitti, Belen Garcia-Manrubia, Pandelis Kourtessis, Juan Antonio Martínez León, Ann Nowé, Pablo Pavón-Mariño, Joachim Scharf, Kris Steenhaut	Software Tools and Methods for Research and Education in Optical Networks.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Miroslav Karásek, Slavisa Aleksic, Marek Jaworski, Jochen Leibrich	Software Tools and Methods for Modelling Physical Layer Issues.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Pandelis Kourtessis, Carlos Almeida, Ching-Hung Chang, Jiajia Chen 0001, Silvia Di Bartolo, P. Fasser, Maurice Gagnaire, Erich Leitgeb, Mário J. N. Lima, Markus Löschnigg, Marian Marciniak, Natasa B. Pavlovic, Y. Shachaf, António Luis Jesus Teixeira, Giorgio Maria Tosi-Beleffi, Lena Wosinska	Evolution of Optical Access Networks.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Siamak Azodolmolky, Tibor Cinkler, Dimitrios Klonidis, Zsigmond Szilárd, Ioannis Tomkos	Cross-Layer Optimization Issues for Realizing Transparent Mesh Optical Networks.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Wojciech Kabacinski, Jiajia Chen 0001, Grzegorz Danilewicz, Janusz Kleban, Maria Spyropoulou, Ioannis Tomkos, Emmanouel A. Varvarigos, Kyriakos Vlachos, Slawomir Wêclewski, Lena Wosinska, Konstantinos Yiannopoulos	Novel Switch Architectures.	COST Action 291 Final Report	2009	DBLP DOI BibTeX RDF
37	Thomas Gschwind, Cesare Pautasso (eds.)	Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007.	WEWST@ECOWS (Final Proceedings)	2008	DBLP DOI BibTeX RDF
37	Cesare Pautasso, Christoph Bussler (eds.)	Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Hagen Overdick	Towards Resource-Oriented BPEL.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Claus Pahl, Marko Boskovic, Wilhelm Hasselbring	Model-Driven Performance Evaluation for Service Engineering.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Dirk Habich, Sebastian Richly, Steffen Preissler, Mike Grasselt, Wolfgang Lehner, Albert Maier	BPEL DT - Data-Aware Extension for Data-Intensive Service Applications.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Schahram Dustdar	Emerging Web Services Technologies - Some Research Challenges Ahead.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Sebastian Stein 0002, Katja Barchewitz, Marwane El Kharbili	Enabling Business Experts to Discover Web Services for Business Process Automation.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Freddy Lécué, Eduardo Goncalves da Silva, Luís Ferreira Pires	A Framework for Dynamic Web Services Composition.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Nadia Ranaldo, Eugenio Zimeo	A Framework for QoS-based Resource Brokering in Grid Computing.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Service selection by choreography-driven matching.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Anis Charfi, Rainer Berbner, Mira Mezini, Ralf Steinmetz	On the Management Requirements of Web Service Compositions.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Kung-Kiu Lau, Cuong M. Tran	Composite Web Services.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Sebastian Gajek, Lijun Liao, Bodo Möller, Jörg Schwenk	SSL-over-SOAP: Towards a Token-based Key Establishment framework for Web services.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Ulrich Küster, Holger Lausen, Birgitta König-Ries	Evaluation of Semantic Service Discovery - A Survey and Directions for Future Research.	WEWST@ECOWS (Final Proceedings)	2007	DBLP DOI BibTeX RDF
37	Ricardo Quintero, Victoria Torres, Vicente Pelechano	Model Centric Approach of Web Services Composition.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Adina Sirbu, Ioan Toma, Dumitru Roman	A Logic-based Approach for Service Discovery with Composition Support.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Marta Ruiz, Vicente Pelechano	Model Driven Design of Web Service Operations using Web Engineering Practices.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Thilina Gunarathne, Dinesh Premalal, Tharanga Wijethilake, Indika Kumara, Anushka Kumar	BPEL-Mora: Lightweight Embeddable Extensible BPEL Engine.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Christian Schröpfer, Marten Schönherr, Philipp Offermann, Maximilian Ahrens	A Flexible Approach to Service Management-Related Service Description in SOAs.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Nicolas Repp, Rainer Berbner, Oliver Heckmann, Ralf Steinmetz	A Cross-Layer Approach to Performance Monitoring of Web Services.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Elena Sánchez-Nielsen, Sandra Martín-Ruiz, Jorge Rodríguez-Pedrianes	Mobile and Dynamic Web Services.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Pablo Rossi, Zahir Tari	Software Metrics for the Efficient Execution of Mobile Services.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Halina Kaminski, Mark Perry 0001	Employing Intelligent Agents to Automate SLA Creation.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Tomaz Ferraz	Dynamically Adapting Clients to Web Services Changing.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Jürgen Angele	Ontoprise: Semantic Web Technologies at Business.	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Tosca Lahiri, Mark Woodman	Web Service Standards: Do we need them?	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
37	Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.)	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika	"UML-ising' Formal Techniques.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell	A Unifying Semantics for Sequential Function Charts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Formal Verification of LSCs in the Development Process.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska 0001	Executable HybridUML and Its Application to Train Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Engelbert Westkämper, Matthias Bengel, Katja Fischer	Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder	Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	David Harel, Hillel Kugler	The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel	Modeling and Formal Verification of Production Automation Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif	Interactive Verification of Statecharts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Benjamin Braatz, Markus Klein 0001, Gunnar Schröter	Semantical Integration of Object-Oriented Viewpoint Specification Techniques.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Martin Kardos, Franz J. Rammig	Model Based Formal Verification of Distributed Production Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Werner Damm, Bernd Westphal	Introduction to Subject Area 'Charts'.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Paul Valckenaers	Challenges of Next Generation Manufacturing Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen	Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing
37	Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf	Specification and Formal Verification of Temporal Properties of Production Automation Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg	Verification of PLC Programs Given as Sequential Function Charts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	Model Checking, Analysis, Automata, Logic Control
37	Eckehard Schnieder	Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy	Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Benjamin Braatz, Markus Klein 0001, Gunnar Schröter, Matthias Bengel	A Formal Component Concept for the Specification of Industrial Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Katja Fischer, Peter Göhner, Felix Gutbrodt, Uwe Katzke, Birgit Vogel-Heuser	Conceptual Design of an Engineering Model for Product and Plant Automation.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Fernando Orejas, Elvira Pino	On the Integration of Modular Heterogeneous Specifications.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Jörg Desel	Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz 0001, Christian Neumair	A Guide to Modelling and Control with Modules of Signal Nets.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Lars Michael Kristensen, Kurt Jensen	Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn	Introduction to Subject Area "Verification".	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Hartmut Ehrig	Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Stefan Einer	STOP - Specification Technique of Operational Processes.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Martin Große-Rhode	On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif	Combining Formal Methods and Safety Analysis - The ForMoSA Approach.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Wilhelm Schäfer, Robert Wagner 0002, Jürgen Gausemeier, Raimund Eckes	An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Karol Rástocný, Ales Janota, Jirí Zahradník	The Use of UML for Development of a Railway Interlocking System.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
37	Gunnar Karlsson, James Roberts, Ioannis Stavrakakis, Antonio Alves, Stefano Avallone, Fernando Boavida, Salvatore D'Antonio, Marcello Esposito, Viktória Fodor, Mauro Gargiulo, Jarmo Harju, Yevgeni Koucheryavy, Fengyi Li, Ian Marsh, Ignacio Más Ivars, Dmitri Moltchanov, Edmundo Monteiro, Antonis Panagakis, Antonio Pescapè, Gonçalo Quadros, Simon Pietro Romano, Giorgio Ventre	Traffic Management.	QofIS Final Report	2003	DBLP DOI BibTeX RDF
37	Olivier Bonaventure, Panos Trimintzios, George Pavlou, Bruno Quoitin, Arturo Azcorra, Marcelo Bagnulo, Paris Flegkas, Alberto García-Martínez, Panos Georgatsos, Leonidas Georgiadis, Christian Jacquenet, L. Swinnen, Sébastien Tandel, Steve Uhlig	Internet Traffic Engineering.	QofIS Final Report	2003	DBLP DOI BibTeX RDF
37	Chris Blondia, Nik Van den Wijngaert, Gert Willems, Olga Casals, Llorenç Cerdà, Marcelo Bagnulo, Ignacio Soto	Mobile Networking.	QofIS Final Report	2003	DBLP DOI BibTeX RDF
37	Piet Van Mieghem, Fernando A. Kuipers, Turgay Korkmaz, Marwan Krunz, Marília Curado, Edmundo Monteiro, Xavier Masip-Bruin, Josep Solé-Pareta, Sergio Sánchez-López	Quality of Service Routing.	QofIS Final Report	2003	DBLP DOI BibTeX RDF
37	Burkhard Stiller, Pere Barlet-Ros, John Cushnie, Jordi Domingo-Pascual, David Hutchison 0001, Rui J. Lopes, Andreas Mauthe, Mihai Popa, James Roberts, Josep Solé-Pareta, Denis Trcek, Carlos Veciana-Nogués	Pricing and QoS.	QofIS Final Report	2003	DBLP DOI BibTeX RDF
37	Ernst W. Biersack, Anwar Al Hamra, Guillaume Urvoy-Keller, David Choi, Dimitrios N. Serpanos, Apostolos Traganitis	Algorithms for Scalable Content Distribution.	QofIS Final Report	2003	DBLP DOI BibTeX RDF
37	Andris Ambainis	Optimization Problem in Inductive Inference.	GOSLER Final Report	1995	DBLP DOI BibTeX RDF
37	Gerhard Mehlsam, Hermann Kaindl, Wilhelm Barth	Feature Construction during Tree Learning.	GOSLER Final Report	1995	DBLP DOI BibTeX RDF
37	Thomas Zeugmann, Steffen Lange	A Guided Tour Across the Boundaries of Learning Recursive Languages.	GOSLER Final Report	1995	DBLP DOI BibTeX RDF
37	William I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai	Classification Using Information.	GOSLER Final Report	1995	DBLP DOI BibTeX RDF
37	Eberhard Pippig	Structuring Neural Networks and PAC-Learning.	GOSLER Final Report	1995	DBLP DOI BibTeX RDF
37	Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen	Error Detecting in Inductive Inference.	GOSLER Final Report	1995	DBLP DOI BibTeX RDF
37	Robert P. Daley, Bala Kalyanasundaram	Towards Reduction Argumentf for FINite Learning.	GOSLER Final Report	1995	DBLP DOI BibTeX RDF