Search results for "Dexter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Bing Wang 0012	Extend Dexter Model to Capture More Semantics of Hypermedia.	DEXA	1998	DBLP DOI BibTeX RDF
61	Jiangling Wan, Michael Bieber	GHMI: A General Hypertext Data Model Supporting Integration of Hypertext and Information Systems.	HICSS (2)	1996	DBLP DOI BibTeX RDF
53	Evgeny Knutov, Paul De Bra, Mykola Pechenizkiy	Adaptation and search: from Dexter and AHAM to GAF.	HT	2010	DBLP DOI BibTeX RDF	dexter model, open corpus, adaptation, search, navigation
53	Kaj Grønbæk, Niels Olof Bouvin, Lennert Sloth	Designing Dexter-Based Hypermedia Services for the World Wide Web.	Hypertext	1997	DBLP DOI BibTeX RDF	Dexter hypertext reference model, link objects, open hypermedia service, Java, World Wide Web, World Wide Web (WWW), HTML, HTML, JavaScript, ActiveX, ActiveX, OLE
51	Rohit Parikh	An Appreciation of Dexter Kozen.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	Susan Landau 0001	Timesharing Dexter.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	Brad T. Vander Zanden	Dexter as a PhD Advisor.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	Peter van Emde Boas	Travelling with Dexter Kozen.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	Kamal Aboul-Hosn	Reflections on a \m $\slash$ Time with Dexter Kozen.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum	To Dexter - A Tribute from Aarhus.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	Jens Palsberg	Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	Joseph Y. Halpern	Dexter Kozen: An Appreciation.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	David Harel	Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	Alexa Sharp	On Distance Coloring - A Review Based on Work with Dexter Kozen.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
51	Prakash Panangaden	Dexter Kozen's Influence on the Theory of Labelled Markov Processes.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
47	Robert Dodd, Steve Green, Elaine Pearson	The CISNA model of accessible adaptive hypermedia.	W4A	2008	DBLP DOI BibTeX RDF	Dexter model, hypermedia, hypertext, abstract user interface
47	Shin'ichi Konomi, Yusuke Yokota, Kazuhiro Sakata, Yahiko Kambayashi	Cooperative View Mechanisms in Distributed Multiuser Hypermedia Environments.	CoopIS	1997	DBLP DOI BibTeX RDF	cooperative view mechanisms, distributed multiuser hypermedia environments, information-sharing mechanisms, user collaboration facility, communication facilities, heterogeneous information resources, common understanding, integrated views, flexible customization, personalized views, Dexter-based hypermedia systems, environmental objects, participation relationships, hypermedia deputies instantiation, distance presentations, computer-supported cooperative work, awareness, hypermedia, virtual classrooms, virtual offices
46	Sriram Gopal, Wesley Tansey, Gokulnath C. Kannan, Eli Tilevich	DeXteR- An Extensible Framework for Declarative Parameter Passing in Distributed Object Systems.	Middleware	2008	DBLP DOI BibTeX RDF	Extensible Middleware, Parameter Passing, Metadata, Aspect Oriented Programming, Declarative Programming
41	Paul De Bra, A. T. M. Aerts, David Smits, Natalia Stash	AHA! Meets AHAM.	AH	2002	DBLP DOI BibTeX RDF
27	Uffe Kock Wiil	Hypermedia technology for knowledge workers: a vision of the future.	Hypertext	2005	DBLP DOI BibTeX RDF	advanced hypermedia infrastructure, dexter model, hypermedia structure domains, hypermedia technology, open hypermedia system working group, knowledge workers
27	Douglas S. Lange	Hypermedia Potentials for Analysis Support Tools.	Hypertext	1999	DBLP DOI BibTeX RDF	perspective filtering, navigation, analysis, semantic network, knowledge model, open hypermedia, anchor, Dexter
27	Jerry Fowler, Donald G. Baker, Ross Dargahi, Vram Kouramajian, Hillary Gilson, Kevin Brook Long, Cynthia Petermann, G. Anthony Gorry	Experience with the Virtual Notebook System: Abstraction in Hypertext.	CSCW	1994	DBLP DOI BibTeX RDF	Dexter model, VOM, consortium, memento, collaboration, CSCW, hypertext, metaphor, VNS
26	Yair Neuman, Vladyslav Kozhukhov, Dan Vilenchik	Data Augmentation for Modeling Human Personality: The Dexter Machine.	CoRR	2023	DBLP DOI BibTeX RDF
26	Nandhinee PR, Harinath Krishnamoorthy, Koushik Srivatsan, Anil Goyal, Sudarsun Santhiappan	DEXTER: An end-to-end system to extract table contents from electronic medical health documents.	CoRR	2022	DBLP DOI BibTeX RDF
26	Deepak Muralidharan, Joel Ruben Antony Moniz, Weicheng Zhang, Stephen Pulman, Lin Li, Megan Barnes, Jingjing Pan, Jason D. Williams, Alex Acero	DEXTER: Deep Encoding of External Knowledge for Named Entity Recognition in Virtual Assistants.	CoRR	2021	DBLP BibTeX RDF
26	Deepak Muralidharan, Joel Ruben Antony Moniz, Weicheng Zhang, Stephen Pulman, Lin Li, Megan Barnes, Jingjing Pan, Jason D. Williams, Alex Acero	DEXTER: Deep Encoding of External Knowledge for Named Entity Recognition in Virtual Assistants.	Interspeech	2021	DBLP DOI BibTeX RDF
26	Conrad Stork, Ya Chen 0002, Martin Sícho, Johannes Kirchmair	Hit Dexter 2.0: Machine-Learning Models for the Prediction of Frequent Hitters.	J. Chem. Inf. Model.	2019	DBLP DOI BibTeX RDF
26	Nihal V. Nayak, Pratheek Mahishi, Sagar Rao	DEXTER - Data EXTraction & Entity Recognition for Low Resource Datasets.	AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering	2019	DBLP BibTeX RDF
26	Samir Gupta, Hayley Dingerdissen, Karen E. Ross, Yu Hu 0015, Cathy H. Wu, Raja Mazumder, K. Vijay-Shanker	DEXTER: Disease-Expression Relation Extraction from Text.	Database J. Biol. Databases Curation	2018	DBLP DOI BibTeX RDF
26	Carlos Periñán-Pascual	DEXTER: A workbench for automatic term extraction with specialized corpora.	Nat. Lang. Eng.	2018	DBLP DOI BibTeX RDF
26	Rukma Talwadker	Dexter: faster troubleshooting of misconfiguration cases using system logs.	SYSTOR	2017	DBLP DOI BibTeX RDF
26	Disheng Qiu, Luciano Barbosa, Xin Luna Dong, Yanyan Shen, Divesh Srivastava	DEXTER: Large-Scale Discovery and Extraction of Product Specifications on the Web. (PDF / PS)	Proc. VLDB Endow.	2015	DBLP DOI BibTeX RDF
26	Diego Ceccarelli, Claudio Lucchese, Salvatore Orlando 0001, Raffaele Perego 0001, Salvatore Trani	Dexter 2.0 - an Open Source Tool for Semantically Enriching Data.	ISWC (Posters & Demos)	2014	DBLP BibTeX RDF
26	Jenna McWilliams	Decoding Liberation: The Promise of Free and Open Source Software, by Samir Chopra and Scott D. Dexter. New York, NY: Routledge, 2007, 211 pp. $135.00 hardcover/$39.00 paper. ISBN 0415978939 (hardcover)/0415876788 (paper).	Inf. Soc.	2013	DBLP DOI BibTeX RDF
26	Diego Ceccarelli, Claudio Lucchese, Salvatore Orlando 0001, Raffaele Perego 0001, Salvatore Trani	Dexter: an open source framework for entity linking.	ESAIR	2013	DBLP DOI BibTeX RDF
26	Peter Grzybek	Harry Dexter Kitson (1886-959).	Glottometrics	2012	DBLP BibTeX RDF
26	Daniel Apon	Review of theory of computation by Dexter C. Kozen.	SIGACT News	2012	DBLP DOI BibTeX RDF
26	Robert L. Constable, Alexandra Silva 0001 (eds.)	Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Henryk Michalewski, Damian Niwinski	On Topological Completeness of Regular Tree Languages.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Glynn Winskel	Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Christoph Kreitz	Nuprl as Logical Framework for Automating Proofs in Category Theory.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Hubie Chen	Meditations on Quantified Constraint Satisfaction.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Rohit Parikh, Çagil Tasdemir, Andreas Witzel	Choice and Uncertainty in Games.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Jakob Rehof, Pawel Urzyczyn	The Complexity of Inhabitation with Explicit Intersection.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Hajnal Andréka, Szabolcs Mikulás, István Németi	Residuated Kleene Algebras.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Sophia Knight, Radu Mardare, Prakash Panangaden	Combining Epistemic Logic and Hennessy-Milner Logic.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Anil Nerode	A Small Tribute.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Krzysztof R. Apt	Two Three Pages Papers.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	Brzozowski's Algorithm (Co)Algebraically.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Jean-Baptiste Jeannin	Capsules and Closures: A Small-Step Approach.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney	A Complete Logical System for the Equality of Recursive Terms for Sets.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Marco Carmosino, Neil Immerman, Charles Jordan	Experimental Descriptive Complexity.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Bruce Randall Donald	The Compass That Steered Robotics.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Neal Glew	Subtyping for F-Bounded Quantifiers and Equirecursive Types.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Pawel Górecki 0001, Jerzy Tiuryn	Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	John Parker, Joel D. Baines, Paul Miller, Julia Miller	A Tribute from the Band.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Fritz Henglein	Rock'n'Roll Computer Science.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	John E. Hopcroft	Making the World a Better Place.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Arto Salomaa	On State Sequences Defined by Reaction Systems.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Clemens Kupke, Jan J. M. M. Rutten	On the Final Coalgebra of Automatic Sequences.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
26	Volker Mattick, Claus-Peter Wirth	An Algebraic Dexter-Based Hypertext Reference Model	CoRR	2009	DBLP BibTeX RDF
26	Benjamin Mako Hill	Samir Chopra, Scott D. Dexter, Decoding Liberation: The Promise of Free and Open Source Software - Routledge Studies in New Media and Cyberculture, Routledge, New York, 2008, ix-211 pp, $95.00, ISBN 978-0415978934.	Minds Mach.	2008	DBLP DOI BibTeX RDF
26	Michael Boyd	Dexter Morrill: Music for Stanford.	Comput. Music. J.	2008	DBLP DOI BibTeX RDF
26	Robert Dodd	20 years on: the Dexter Model of Hypertext and its impact on web accessibility.	ACM SIGACCESS Access. Comput.	2008	DBLP DOI BibTeX RDF
26	Isabelle Guyon, Steve R. Gunn, Asa Ben-Hur, Gideon Dror	Dexter.		2008	DOI RDF
26	Robert Hamilton 0001	Back to the Sea: a Software Realization of Dexter Morrill's Sea Songs.	ICMC	2007	DBLP BibTeX RDF
26	Yde Venema	Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6.	Theory Pract. Log. Program.	2002	DBLP DOI BibTeX RDF
26	Paul De Bra, Geert-Jan Houben, Hongjing Wu	AHAM: A Dexter-Based Reference Model for Adaptive Hypermedia.	Hypertext	1999	DBLP DOI BibTeX RDF	hypermedia reference model, user modeling, adaptive hypermedia
26	Kaj Grønbæk, Lennert Sloth	DHM: an open Dexter-based hypermedia service (abstract).	SIGWEB Newsl.	1996	DBLP DOI BibTeX RDF
26	Kaj Grønbæk, Randall H. Trigg	Toward a Dexter-Based Model for Open Hypermedia: Unifying Embedded References and Link Objects.	Hypertext	1996	DBLP DOI BibTeX RDF
26	Dawn M. Cohen, Casimir A. Kulikowski, Helen Berman	Dexter: A System that Experiments with Choices of Training Data Using Expert Knowledge in the Domain of DNA Hydration.	Mach. Learn.	1995	DBLP DOI BibTeX RDF
26	Marcel Worring, Rene Buitenhuis, Arnold W. M. Smeulders	An ODA/Dexter Hyperdocument System with Automated Link Definition.	VDB	1995	DBLP BibTeX RDF
26	John J. Leggett, John L. Schnase	Viewing Dexter with Open Eyes.	Commun. ACM	1994	DBLP DOI BibTeX RDF
26	Kaj Grønbæk, Randall H. Trigg	Design Issues for a Dexter-Based Hypermedia System.	Commun. ACM	1994	DBLP DOI BibTeX RDF
26	Frank G. Halasz, Mayer D. Schwartz	The Dexter Hypertext Reference Model.	Commun. ACM	1994	DBLP DOI BibTeX RDF
26	Kaj Grønbæk, Jens A. Hem, Ole Lehrmann Madsen, Lennert Sloth	Cooperative Hypermedia Systems: A dexter-Based Architecture.	Commun. ACM	1994	DBLP DOI BibTeX RDF
26	Lynda Hardman, Dick C. A. Bulterman, Guido van Rossum	The Amsterdam Hypermedia Model: Adding Time and Context to the Dexter Model.	Commun. ACM	1994	DBLP DOI BibTeX RDF
26	Franca Garzotto, Luca Mainetti, Paolo Paolini	Adding Multimedia Collections to the Dexter Model.	ECHT	1994	DBLP DOI BibTeX RDF
26	Kaj Grønbæk	Composites in a Dexter-Based Hypermedia Framework.	ECHT	1994	DBLP DOI BibTeX RDF
26	Kaj Grønbæk, Jens A. Hem, Ole Lehrmann Madsen, Lennert Sloth	Designing Dexter-Based Cooperative Hypermedia Systems.	Hypertext	1993	DBLP DOI BibTeX RDF
26	Kaj Grønbæk, Randall H. Trigg	Design Issues for a Dexter-Based Hypermedia System.	ECHT	1992	DBLP DOI BibTeX RDF
26	Perry D. Haaland, John C. Lusth, Roger F. Liddle, Joan W. Curry	Dexter: a guide to selecting the best design for an industrial screening experiment.	Ann. Math. Artif. Intell.	1990	DBLP DOI BibTeX RDF
26	Alan Clements 0001	Microprocessor bus structures and bus interface design: Arthur L Dexter Marcel Dekker, New York, NY, USA (1986) $59.75 (USA), $71.50 (elsewhere) pp 339.	Microprocess. Microsystems	1987	DBLP DOI BibTeX RDF
26	Alex Meade	Dexter-A finger-spelling hand for the deaf-blind.	ICRA	1987	DBLP DOI BibTeX RDF
21	Gregory Dexter, Borja Ocejo, S. Sathiya Keerthi, Aman Gupta, Ayan Acharya, Rajiv Khanna	A Precise Characterization of SGD Stability Using Loss Surface Geometry.	CoRR	2024	DBLP DOI BibTeX RDF
21	Gregory Dexter, Christos Boutsikas, Linkai Ma, Ilse C. F. Ipsen, Petros Drineas	Stochastic Rounding Implicitly Regularizes Tall-and-Thin Matrices.	CoRR	2024	DBLP DOI BibTeX RDF
21	Chi-Yang Hsu, Kyle Cox, Jiawei Xu, Zhen Tan, Tianhua Zhai, Mengzhou Hu, Dexter Pratt, Tianlong Chen, Ziniu Hu, Ying Ding 0001	Thought Graph: Generating Thought Process for Biological Reasoning.	CoRR	2024	DBLP DOI BibTeX RDF
21	Yueyu Lin, Dexter Manalili, Amir Khodabakhsh, Simona M. Cristescu	Real-Time Measurement of CH4 in Human Breath Using a Compact CH4/CO2 Sensor.	Sensors	2024	DBLP DOI BibTeX RDF
21	Shishir Rao, Mohammad Mamouei, Gholamreza Salimi-Khorshidi, Yikuan Li, Rema Ramakrishnan, Abdelaali Hassaïne, Dexter Canoy, Kazem Rahimi	Targeted-BEHRT: Deep Learning for Observational Causal Inference on Longitudinal Electronic Health Records.	IEEE Trans. Neural Networks Learn. Syst.	2024	DBLP DOI BibTeX RDF
21	Rajarshi Bhattacharjee, Gregory Dexter, Cameron Musco, Archan Ray, Sushant Sachdeva, David P. Woodruff	Universal Matrix Sparsifiers and Fast Deterministic Algorithms for Linear Algebra.	ITCS	2024	DBLP DOI BibTeX RDF
21	Dexter Neo	MaxEnt Loss: Calibrating Graph Neural Networks under Out-of-Distribution Shift (Student Abstract).	AAAI	2024	DBLP DOI BibTeX RDF
21	Dexter Neo, Stefan Winkler 0001, Tsuhan Chen	MaxEnt Loss: Constrained Maximum Entropy for Calibration under Out-of-Distribution Shift.	AAAI	2024	DBLP DOI BibTeX RDF
21	Anshuman Mohan, Yunhe Liu 0002, Nate Foster, Tobias Kappé, Dexter Kozen	Formal Abstractions for Packet Scheduling.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Elvin Coban, Enis Kayis, Franklin Dexter	The effect of few historical data on the performance of sample average approximation method for operating room scheduling.	Int. Trans. Oper. Res.	2023	DBLP DOI BibTeX RDF
21	Dexter Pratt, Rudolf T. Pillich, John H. Morris	Translating desktop success to the web in the cytoscape project.	Frontiers Bioinform.	2023	DBLP DOI BibTeX RDF
21	Ben Adcock, Juan M. Cardenas, Nick C. Dexter	An Adaptive Sampling and Domain Learning Strategy for Multivariate Function Approximation on Unknown Domains.	SIAM J. Sci. Comput.	2023	DBLP DOI BibTeX RDF
21	Rezaul Karim Khandker, Md. Rakibul Islam Prince, Farid Chekani, Paul Richard Dexter, Malaz A. Boustani, Zina Ben Miled	Digital-Reported Outcome from Medical Notes of Schizophrenia and Bipolar Patients Using Hierarchical BERT.	Inf.	2023	DBLP DOI BibTeX RDF
21	Rudolf T. Pillich, Jing Chen, Christopher Churas, Dylan Fong, Benjamin M. Gyori, Trey Ideker, Klas Karis, Sophie N. Liu, Keiichiro Ono, Alexander R. Pico, Dexter Pratt	NDEx IQuery: a multi-method network gene set analysis leveraging the Network Data Exchange.	Bioinform.	2023	DBLP DOI BibTeX RDF
21	Duncan C. McElfresh, Christian Kroer, Sergey Pupyrev, Eric Sodomka, Karthik Abinav Sankararaman, Zack Chauvin, Neil Dexter, John P. Dickerson	Matching algorithms for blood donation.	Nat. Mac. Intell.	2023	DBLP DOI BibTeX RDF
21	Ben Adcock, Juan M. Cardenas, Nick C. Dexter	CS4ML: A general framework for active learning with arbitrary data based on Christoffel functions.	CoRR	2023	DBLP DOI BibTeX RDF