Search results for "ALFred"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications.	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
49	Matthieu Gosztola	La Critique LittÉraire D'alfred Jarry à La Revue Blanche. (The Litterary Criticism Of Alfred Jarry In La Revue Blanche).		2012	RDF
49	Lutz-Peter Kurdelski	Modell eines adaptierbaren, rechnergestützten, wissenschaftlichen Arbeitsplatzes am Alfred-Wegener-Institut für Polar- und Meeresforschung = Modelling an adaptive, computer based, scientific workplace at the Alfred Wegener Institute for Polar and Marine Research.		1997	RDF
47	Andrzej Grzegorczyk	Undecidability without Arithmetization.	Stud Logica	2005	DBLP DOI BibTeX RDF	discernibility, Kurt Gödel, Alfred Tarski, representability, decidability, arithmetization, concatenation
41	Jan Van den Bussche	Applications of Alfred Tarski's Ideas in Database Theory.	CSL	2001	DBLP DOI BibTeX RDF
38	Alfred Z. Spector, Peter Norvig, Chris Wiggins 0001, Jeannette M. Wing, Ben Fried, Michael Tingley	More Than Just Algorithms: A discussion with Alfred Spector, Peter Norvig, Chris Wiggins, Jeannette Wing, Ben Fried, and Michael Tingley.	ACM Queue	2023	DBLP DOI BibTeX RDF
34	Arne Andersson, Andrej Brodnik	Comments on Self-Indexed Sort.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
34	Joseph C. H. Park	A new LALR formalism.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
31	Robert L. Brueck	System 2000: The MRI Systems Corporation.	IEEE Ann. Hist. Comput.	2009	DBLP DOI BibTeX RDF	Austin, Gene Lowenthal, Alfred King, SAS Institute, System 2000, DBMS, MRI, Intel
27	Eriyeti Murena, Khumbulani Mpofu, Alfred T. Ncube, Olasumbo Makinde, John Alfred Trimble, Xi Vincent Wang	Development and performance evaluation of a web-based feature extraction and recognition system for sheet metal bending process planning operations.	Int. J. Comput. Integr. Manuf.	2021	DBLP DOI BibTeX RDF
27	Frank B. Osei, Alfred A. Duker, Ellen-Wien Augustijn, Alfred Stein	Spatial dependency of cholera prevalence on potential cholera reservoirs in an urban area, Kumasi, Ghana.	Int. J. Appl. Earth Obs. Geoinformation	2010	DBLP DOI BibTeX RDF
27	Thomas Barthel, Alfred Dimpker, Eberhard Fehrmann, Alfred Hoffjann, Gerhard Karck, August-Wilhelm Scheer, Werner van Treeck, Werner Jann	Verwaltungsaufgaben und Abeitsorganisation - Einfluss durch informationstechnische Instrumente?	Organisation informationstechnik-gestützter öffentlicher Verwaltung	1980	DBLP DOI BibTeX RDF
24	Firdous Ahmad Mala	Geometry in Our Three-Dimensional World: by Alfred S. Posamentier, Bernd Thaller, Christian Dorner, Robert Geretschläger, Guenter Maresch, Christian Spreitzer, David Stuhlpfarrer, World Scientific, 2021, 440 pp., $118.00 (HB), ISBN 9789811237102.	Technometrics	2023	DBLP DOI BibTeX RDF
24	Peilin Yu, Stephen H. Bach	Alfred: A System for Prompted Weak Supervision.	CoRR	2023	DBLP DOI BibTeX RDF
24	Peilin Yu, Stephen H. Bach	Alfred: A System for Prompted Weak Supervision.	ACL (demo)	2023	DBLP DOI BibTeX RDF
24	Arjun R. Akula, Spandana Gella, Aishwarya Padmakumar, Mahdi Namazifar, Mohit Bansal, Jesse Thomason, Dilek Hakkani-Tur	ALFRED-L: Investigating the Role of Language for Action Learning in Interactive Visual Environments.	EMNLP	2022	DBLP DOI BibTeX RDF
24	Matjaz Gams	ACM Turing Award for 2020 Honors Alfred Vaino Aho and Jeffrey David Ullman.	Informatica (Slovenia)	2021	DBLP DOI BibTeX RDF
24	Kai Höfig, Marc Zeller, Reiner Heilmann	ALFRED: a methodology to enable component fault trees for layered architectures.	CoRR	2021	DBLP BibTeX RDF
24	Andrea Maioli, Luca Mottola	ALFRED: Virtual Memory for Intermittent Computing.	CoRR	2021	DBLP BibTeX RDF
24	Ting-Rui Chiang, Yi-Ting Yeh, Ta-Chung Chi, Yau-Shian Wang	Are you doing what I say? On modalities alignment in ALFRED.	CoRR	2021	DBLP BibTeX RDF
24	Andrea Maioli, Luca Mottola	ALFRED: Virtual Memory for Intermittent Computing.	SenSys	2021	DBLP DOI BibTeX RDF
24	Victor Mercado, Thomas Howard, Hakim Si-Mohammed, Ferran Argelaguet, Anatole Lécuyer	Alfred: the Haptic Butler On-Demand Tangibles for Object Manipulation in Virtual Reality using an ETHD.	WHC	2021	DBLP DOI BibTeX RDF
24	Ben Shneiderman	Tribute to Alfred Inselberg (1936-2019).	IEEE Computer Graphics and Applications	2020	DBLP DOI BibTeX RDF
24	Ivan V. Kazachkov	Modeling and computer simulation of the mixing and heat transfer in heterogeneous turbulent two-phase jets of mutually immiscible liquids by the method of Professor Alfred I. Nakorchevskii. Part 1.	CoRR	2020	DBLP BibTeX RDF
24	Mohit Shridhar, Jesse Thomason, Daniel Gordon, Yonatan Bisk, Winson Han, Roozbeh Mottaghi, Luke Zettlemoyer, Dieter Fox	ALFRED: A Benchmark for Interpreting Grounded Instructions for Everyday Tasks.	CVPR	2020	DBLP BibTeX RDF
24	Tobias Rausch, Markus Hsi-Yang Fritz, Jan O. Korbel, Vladimir Benes	Alfred: interactive multi-sample BAM alignment statistics, feature counting and feature annotation for long- and short-read sequencing.	Bioinform.	2019	DBLP DOI BibTeX RDF
24	Mohit Shridhar, Jesse Thomason, Daniel Gordon, Yonatan Bisk, Winson Han, Roozbeh Mottaghi, Luke Zettlemoyer, Dieter Fox	ALFRED: A Benchmark for Interpreting Grounded Instructions for Everyday Tasks.	CoRR	2019	DBLP BibTeX RDF
24	Fei-Yue Wang 0001	A Reflection of Future in History : Introduction to The Alfred North Whitehead Laureate Lecture.	IEEE CAA J. Autom. Sinica	2019	DBLP DOI BibTeX RDF
24	Florian Albrecht	Debus, Alfred (Hrsg.), Informationszugangsrecht Baden- Württemberg.	Comput. und Recht	2018	DBLP DOI BibTeX RDF
24	Giuseppe Riva 0001	ALFRED: A Personalized, Fully Interactive, and Mobile Assistant for Independent Living.	Cyberpsychology Behav. Soc. Netw.	2018	DBLP DOI BibTeX RDF
24	Sharma V. Thankachan, Sriram P. Chockalingam, Yongchao Liu, Alberto Apostolico, Srinivas Aluru	ALFRED: A Practical Method for Alignment-Free Distance Computation.	J. Comput. Biol.	2016	DBLP DOI BibTeX RDF
24	Olivier L. Georgeon	From Events to Objects: Investigating Alfred N. Whitehead's Process of Abstraction in Artificial Intelligence.	JOWO@FOIS	2016	DBLP BibTeX RDF
24	Sankar Basu, Anton Kummert, Klaus Meerkötter	Obituary: Alfred Leo Maria Fettweis (1926-2015).	Multidimens. Syst. Signal Process.	2015	DBLP DOI BibTeX RDF
24	Kai Höfig, Marc Zeller, Reiner Heilmann	ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures.	EUROMICRO-SEAA	2015	DBLP DOI BibTeX RDF
24	Sandro Hardy, Florian Feldwieser, Tim Dutz, Stefan Göbel 0001, Ralf Steinmetz, Elisabeth Steinhagen-Thiessen	ALFRED Back Trainer: Conceptualization of a Serious Game-Based Training System for Low Back Pain Rehabilitation Exercises.	JCSG	2015	DBLP DOI BibTeX RDF
24	Michael Ruse	Charles Robert Darwin and Alfred Russel Wallace: their dispute over the units of selection.	Theory Biosci.	2013	DBLP DOI BibTeX RDF
24	Nizar Ibrahim, Ulrich Kutschera	The ornithologist Alfred Russel Wallace and the controversy surrounding the dinosaurian origin of birds.	Theory Biosci.	2013	DBLP DOI BibTeX RDF
24	J. T. Costa	Engaging with Lyell: Alfred Russel Wallace's Sarawak Law and Ternate papers as reactions to Charles Lyell's Principles of Geology.	Theory Biosci.	2013	DBLP DOI BibTeX RDF
24	Charles H. Smith	Alfred Russel Wallace's world of final causes.	Theory Biosci.	2013	DBLP DOI BibTeX RDF
24	Uwe Hoßfeld, Lennart Olsson	The prominent absence of Alfred Russel Wallace at the Darwin anniversaries in Germany in 1909, 1959 and 2009.	Theory Biosci.	2013	DBLP DOI BibTeX RDF
24	Ulrich Kutschera, Uwe Hoßfeld	Alfred Russel Wallace (1823-1913): the forgotten co-founder of the Neo-Darwinian theory of biological evolution.	Theory Biosci.	2013	DBLP DOI BibTeX RDF
24	Georgy S. Levit, Sergey V. Polatayko	At home among strangers: Alfred Russel Wallace in Russia.	Theory Biosci.	2013	DBLP DOI BibTeX RDF
24	Ulrich Kutschera, Simon Kleinhans	Alfred Russel Wallace and the destruction of island life: the Iguana tragedy.	Theory Biosci.	2013	DBLP DOI BibTeX RDF
24	David Hunt	Life and Mathematics of Alfred Jacobus van der Poorten (1942-2010).	Number Theory and Related Fields	2013	DBLP DOI BibTeX RDF
24	Valter Crescenzi, Paolo Merialdo, Disheng Qiu	ALFRED: crowd assisted data extraction.	WWW (Companion Volume)	2013	DBLP DOI BibTeX RDF
24	Haseena Rajeevan, Usha Soundararajan, Judith R. Kidd, Andrew J. Pakstis, Kenneth K. Kidd	ALFRED: an allele frequency resource for research and teaching.	Nucleic Acids Res.	2012	DBLP DOI BibTeX RDF
24	Anthony G. Picciano, Jeff Seaman, Peter Shea, Karen Swan	Examining the extent and nature of online learning in American K-12 Education: The research initiatives of the Alfred P. Sloan Foundation.	Internet High. Educ.	2012	DBLP DOI BibTeX RDF
24	K. J. Nyitray	William Alfred Higinbotham: Scientist, Activist, and Computer Game Pioneer.	IEEE Ann. Hist. Comput.	2011	DBLP DOI BibTeX RDF
24	Adam Fish	Book review: Jaron Lanier, You Are Not a Gadget: A Manifesto. New York: Alfred Knopf, 2010. ix + 224 pp. $24.95 (hbk) ISBN 9780307269645.	New Media Soc.	2011	DBLP DOI BibTeX RDF
24	Hugo Jiménez-Pérez, Santiago López de Medrano	On Alfred Gray's Elliptical Catenoid	CoRR	2011	DBLP BibTeX RDF
24	Mordechai Ben-Menachem	Parallel Coordinates: Visual Multidimensional Geometry and its Applications, is written by Alfred Inselberg, and published by Springer; (c) 2009; ISBN 978-0-387-21507-5; pp. 580.	ACM SIGSOFT Softw. Eng. Notes	2010	DBLP DOI BibTeX RDF
24	Anil Nerode	Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman.	Am. Math. Mon.	2010	DBLP DOI BibTeX RDF
24	Hans Günter Holl	Second thoughts on Gregory Bateson and Alfred Korzybski.	Kybernetes	2007	DBLP DOI BibTeX RDF
24	Carol Wood	Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman.	Am. Math. Mon.	2006	DBLP BibTeX RDF
24	Pierre Lescanne	Review of "Alfred Tarski: Life and Logic by Anita Burdman Feferman and Solomon Feferman", Cambridge University Press 2004.	SIGACT News	2006	DBLP DOI BibTeX RDF
24	Jürgen Alex	Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse: tertium non datur.		2006	RDF
24	Markus Locker	Glimpses of the Truth: Obituary for Alfred Locker.	Cybern. Hum. Knowing	2005	DBLP BibTeX RDF
24	George F. McNulty	Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green.	Ann. Pure Appl. Log.	2004	DBLP DOI BibTeX RDF
24	Haseena Rajeevan, Michael V. Osier, Kei-Hoi Cheung, H. Deng, L. Druskin, R. Heinzen, Judith R. Kidd, S. Stein, Andrew J. Pakstis, Nick P. Tosches, C.-C. Yeh, Perry L. Miller, Kenneth K. Kidd	ALFRED: the ALelle FREquency Database. Update.	Nucleic Acids Res.	2003	DBLP DOI BibTeX RDF
24	Michael N. Geselowitz	In his own words: Alfred Norton Goldsmith.	Proc. IEEE	2002	DBLP DOI BibTeX RDF
24	Hourya Sinaceur	Alfred Tarski: Semantic Shift, Heuristic Shift In Metamathematics.	Synth.	2001	DBLP DOI BibTeX RDF
24	Michael V. Osier, Kei-Hoi Cheung, Judith R. Kidd, Andrew J. Pakstis, Perry L. Miller, Kenneth K. Kidd	ALFRED: an allele frequency database for diverse populations and DNA polymorphisms - an update.	Nucleic Acids Res.	2001	DBLP DOI BibTeX RDF
24	Rajendra Bhatia	Linear Algebra to Quantum Cohomology: The Story of Alfred Horn's Inequalities.	Am. Math. Mon.	2001	DBLP BibTeX RDF
24	Hourya Sinaceur	Address at the Princeton University bicentennial conference on problems of mathematics (December 17-19, 1946), by Alfred Tarski.	Bull. Symb. Log.	2000	DBLP DOI BibTeX RDF
24	Kei-Hoi Cheung, Michael V. Osier, Judith R. Kidd, Andrew J. Pakstis, Perry L. Miller, Kenneth K. Kidd	ALFRED: an allele frequency database for diverse populations and DNA polymorphisms.	Nucleic Acids Res.	2000	DBLP DOI BibTeX RDF
24	Celia M. Elliott	Alfred W. Hübler: A profile of the new Executive Editor of Complexity.	Complex.	2000	DBLP DOI BibTeX RDF
24	Markus Schlesinger, Georg Lörincze	Rule Modelling and Simulation in ALFRED.	Rules in Database Systems	1997	DBLP DOI BibTeX RDF
24	Carlo Cercignani	Transport Simulation in Microelectronics (Alfred Kersch and William J. Morokoff).	SIAM Rev.	1996	DBLP DOI BibTeX RDF
24		Title: Why information systems fail: A case study approach: Author: Chris Sauer, Publisher: Alfred Waller, ISBN: 1-872474-08-X: Price: £17.95. Reviewer: Ian Beale.	Comput. Law Secur. Rev.	1996	DBLP DOI BibTeX RDF
24	Krishnendu Chakrabarty, John P. Hayes	Aliasing-free error detection (ALFRED).	VTS	1993	DBLP DOI BibTeX RDF
24	Azriel Levy	Alfred Tarski's Work in Set Theory.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
24	Willem J. Blok, Don Pigozzi	Alfred Tarski's Work on General Metamathematics.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
24	John Doner, Wilfrid Hodges	Alfred Tarski and Decidable Theories.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
24	Lou van den Dries	Alfred Tarski's Elimination Theory for Real Closed Fields.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
24	Bjarni Jónsson	The Contributions of Alfred Tarski to General Algebra.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
24	George F. McNulty	Alfred Tarski and Undecidable Theories.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
24	J. Donald Monk	The Contributions of Alfred Tarski to Algebraic Logic.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
24	Steven Givant	Bibliography of Alfred Tarski.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
24	Wilfrid Hodges	Alfred Tarski.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
24	Robert L. Vaught	Alfred Tarski's Work in Model Theory.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
24	Joseph C. Donohue	Reader in Science Information, edited by John Sherrod and Alfred Hodina, Washington, D.C.: Microcard Editions, 403 pages (1973).	J. Am. Soc. Inf. Sci.	1974	DBLP DOI BibTeX RDF
17	Nikolaus Bee, Elisabeth André, Susanne Tober	Breaking the Ice in Human-Agent Communication: Eye-Gaze Based Initiation of Contact with an Embodied Conversational Agent.	IVA	2009	DBLP DOI BibTeX RDF
17	Edwin van Huis	Strategy follows technology.	SIGIR	2007	DBLP DOI BibTeX RDF	media asset management, media service provider, tv & radio archive
17	Joseph H. Schulman	Stimulating and Sensing Network Inside the Human Body.	BSN	2006	DBLP DOI BibTeX RDF
17	Lu Lu, Xiaoxun Zhang, Youdong Zhao, Yunde Jia	Ear Recognition Based on Statistical Shape Model.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
17	Sumit Ghosh	The Source and Seat of Creativity in Human Beings: A Position Paper.	ICTAI	2006	DBLP DOI BibTeX RDF
17	Wendy Ann Mansilla	Interactive Dramaturgy by Generating Acousmêtre in a Virtual Environment.	ICEC	2006	DBLP DOI BibTeX RDF	Interactive Dramaturgy, Acousmêtre, Virtual Storytelling Environments, Experimentation
17	David J. DeWitt, Michael J. Carey 0001, Joseph M. Hellerstein	Stonebraker receives IEEE John von Neumann Medal.	SIGMOD Rec.	2005	DBLP DOI BibTeX RDF
17	Marc Donner	A Young Geek's Fancy Turns to...Science Fiction?	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	book lists, science fiction
17	Solomon Feferman	Tarski's Influence on Computer Science.	LICS	2005	DBLP DOI BibTeX RDF
17	Allan Fisher, Jane Margolis	Unlocking the clubhouse: the Carnegie Mellon experience.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
17	Bran Selic	Introduction.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
17	Dieter Gollmann, Catherine A. Meadows, Eiji Okamoto	Editorial.	Int. J. Inf. Sec.	2001	DBLP DOI BibTeX RDF
17	Rajeev Kumar	A Neural Net Compiler System for Hierarchical Organization.	ACM SIGPLAN Notices	2001	DBLP DOI BibTeX RDF
17	Wallace B. Leigh	An Image Sensor as an Undergraduate VLSI Project Chip.	MSE	2001	DBLP DOI BibTeX RDF
17	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
17	Eugene Fiume	Alain Fournier, 1943-2000: an appreciation.	ACM Trans. Graph.	2000	DBLP DOI BibTeX RDF
17	Uday P. Khedker, Dhananjay M. Dhamdhere	Bidirectional Data Flow Analysis: Myth and Reality.	ACM SIGPLAN Notices	1999	DBLP DOI BibTeX RDF
17	Mayur Naik, Rajeev Kumar	Object-Oriented Symbol Management in Syntax-Directed Compiler Systems.	ACM SIGPLAN Notices	1999	DBLP DOI BibTeX RDF
17	Nadia Nedjah	Minimal Deterministic Left-to-Right Pattern-Matching Automata.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF