|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 731 occurrences of 556 keywords
|
|
|
Results
Found 6146 publication records. Showing 5392 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 5392 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|