Search results for "dls"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
100	Anita Komlodi, Nadia Caidi, Kristin Wheeler	Cross-Cultural Usability of Digital Libraries.	ICADL	2004	DBLP DOI BibTeX RDF
89	Qun Dai, Songcan Chen	Chained DLS-ICBP Neural Networks with Multiple Steps Time Series Prediction.	Neural Process. Lett.	2005	DBLP DOI BibTeX RDF	chain structure, discounted least square, improved circular back-propagation, multiple steps time series prediction, neural networks
89	Boris Motik	Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules.	RR	2008	DBLP DOI BibTeX RDF
82	Songcan Chen, Qun Dai	Discounted least squares-improved circular back-propogation neural networks with applications in time series prediction.	Neural Comput. Appl.	2005	DBLP DOI BibTeX RDF	Discounted least squares (DLS), Improved circular back-propagation network, Time series predicting or forecasting, Occams Razor principle
78	Nakjung Choi, Yongho Seok, Yanghee Choi, Taekyoung Kwon 0001	Half Direct-Link Setup (H-DLS) for Fairness between External and Local TCP Connections in IEEE 802.11e Wireless LANs.	ICC	2007	DBLP DOI BibTeX RDF
78	Peter Bailey, David Hawking, Brett Matson	Secure search in enterprise webs: tradeoffs in efficient implementation for document level security.	CIKM	2006	DBLP DOI BibTeX RDF	collection level security, document level security, performance, scalability, access control, caching, file systems, security models, enterprise search
78	Nir Yom Tov, Ariel J. Frank	Harnessing search engine technology to raise awareness and availability of digital libraries.	ITRE	2006	DBLP DOI BibTeX RDF
78	Ann Peterson Bishop, Clifford A. Lynch, Christine L. Borgman, Catherine C. Marshall, Susan Leigh Star, Geoffrey C. Bowker	Digital library use (panel session): social practice in design and evaluation.	ACM DL	2000	DBLP DOI BibTeX RDF	evaluation, design, social context
67	Ruben Gran Tejero, Enric Morancho, Àngel Olivé, José María Llabería	On reducing misspeculations in a pipelined scheduler.	IPDPS	2009	DBLP DOI BibTeX RDF
67	Riccardo Rosati 0001	The Limits of Querying Ontologies.	ICDT	2007	DBLP DOI BibTeX RDF
67	Enrico Bertini, Tiziana Catarci, Lucia Di Bello, Stephen Kimani	Visualization in Digital Libraries.	From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments	2005	DBLP DOI BibTeX RDF
67	Sebastian Brandt 0001, Anni-Yasmin Turhan, Ralf Küsters	Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.	LPAR	2003	DBLP DOI BibTeX RDF
67	Blair Nonnecke, Jennifer Preece	Lurker demographics: counting the silent.	CHI	2000	DBLP DOI BibTeX RDF	health-support, lurker, newgroup, Internet, email, traffic, membership, demographic, lurking, BBS, discussion list
67	K. F. Tan, Mike Wing, Norman Revell, Gary Marsden, C. Baldwin, Ross MacIntyre, Ann Apps, Ken D. Eason, S. Promfett	Facts and Myths of Browsing and Searching in a Digital Library.	ECDL	1998	DBLP DOI BibTeX RDF
59	Wei Wang 0033, Guosun Zeng	Trusted dynamic level scheduling based on Bayes trust model.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	trustworthy scheduling, trustworthiness evaluation, Trust-DLS, Grid computing, Bayes method
56	Naehyuck Chang, Inseok Choi, Hojun Shim	DLS: dynamic backlight luminance scaling of liquid crystal display.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
56	Rüdiger Kapitza, Franz J. Hauck	DLS: A CORBA Service for Dynamic Loading of Code.	OTM	2003	DBLP DOI BibTeX RDF
56	Mahbubur Rashid, Ioana Banicescu, Ricolindo Cariño	Investigating a Dynamic Loop Scheduling with Reinforcement Learning Approach to Load Balancing in Scientific Applications.	ISPDC	2008	DBLP DOI BibTeX RDF
56	Shu-Bin Cai, Zhong Ming 0001, Shixian Li	BALC: A Belief Extension of Description Logic ALC.	ICYCS	2008	DBLP DOI BibTeX RDF
56	Carsten Lutz, Maja Milicic	A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	concrete domains, tableau algorithm, description logic, decidability
56	Linh Anh Nguyen	Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.	ICLP	2007	DBLP DOI BibTeX RDF
56	Riccardo Rosati 0001	Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules.	PPSWR	2005	DBLP DOI BibTeX RDF
56	Kuei-Ping Shih, Sheng-Shih Wang	Distributed Direction-Based Localization in Wireless Sensor Networks.	ISCC	2005	DBLP DOI BibTeX RDF
56	Henry S. Baird, Venugopal Govindaraju, Daniel P. Lopresti	Document Analysis Systems for Digital Libraries: Challenges and Opportunities.	Document Analysis Systems	2004	DBLP DOI BibTeX RDF
56	Umberto Straccia	Transforming Fuzzy Description Logics into Classical Description Logics.	JELIA	2004	DBLP DOI BibTeX RDF
45	Ruba Alassaf, Renate A. Schmidt	DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic.	GCAI	2019	DBLP DOI BibTeX RDF
45	Xiaoqian Liu, Shoubao Yang, Shuling Wang, Jing Xu	R-DLS: An Improved DLS Algorithm.	GCC	2008	DBLP DOI BibTeX RDF
45	Christopher A. Welty	DLs for DLs: Description Logics for Digital Libraries.	Description Logics	1998	DBLP BibTeX RDF
45	Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou	On Applying the AGM Theory to DLs and OWL.	ISWC	2005	DBLP DOI BibTeX RDF
45	Matthias Reuter	Analysing the Structure of Poly-crystalline Materials by 2-Dimensional DLS-Spectra and Neural Nets.	Fuzzy Days	2001	DBLP DOI BibTeX RDF	Kikuchi-diagrams, pattern recognition with neural nets, Radon-transformation
44	Tiago Rios da Rocha, Roberto Willrich, Renato Fileto, Saïd Tazi 0001	Supporting Collaborative Learning Activities with a Digital Library and Annotations.	WCCE	2009	DBLP DOI BibTeX RDF	free-text annotations, Digital Libraries, ontology-based annotations
44	Fernando Bobillo, Umberto Straccia	Supporting Fuzzy Rough Sets in Fuzzy Description Logics.	ECSQARU	2009	DBLP DOI BibTeX RDF
44	Frithjof Dau, Martin Knechtel	Access Policy Design Supported by FCA Methods.	ICCS	2009	DBLP DOI BibTeX RDF
44	Marcos André Gonçalves, Edward A. Fox, Layne T. Watson	Towards a digital library theory: a formal digital library ontology.	Int. J. Digit. Libr.	2008	DBLP DOI BibTeX RDF
44	Magdalena Ortiz 0001, Diego Calvanese, Thomas Eiter	Data Complexity of Query Answering in Expressive Description Logics via Tableaux.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Expressive description logics, Query answering, Data complexity
44	Sarah Giersch, Heather Leary, Bart Palmer, Mimi Recker	Developing a review process for online resources.	JCDL	2008	DBLP DOI BibTeX RDF	education, peer review
44	Guilin Qi, Fangkai Yang	A Survey of Revision Approaches in Description Logics.	RR	2008	DBLP DOI BibTeX RDF
44	Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri	Completion Rules for Uncertainty Reasoning with the Description Logic ALC.	CSWWS	2006	DBLP DOI BibTeX RDF
44	Henry S. Baird	Digital Libraries and Document Image Analysis.	ICDAR	2003	DBLP DOI BibTeX RDF
44	Yin Leng Theng	Information Therapy in Digital Libraries.	ICADL	2002	DBLP DOI BibTeX RDF
44	Peter Mutschke	Enhancing Information Retrieval in Federated Bibliographic Data Sources Using Author Network Based Stratagems.	ECDL	2001	DBLP DOI BibTeX RDF
44	Norbert Gövert, Norbert Fuhr, Claus-Peter Klas	Daffodil: Distributed Agents for User-Friendly Access of Digital Libraries.	ECDL	2000	DBLP DOI BibTeX RDF
44	Liviu Badea, Shan-Hwei Nienhuys-Cheng	A Refinement Operator for Description Logics.	ILP	2000	DBLP DOI BibTeX RDF
44	Premkumar T. Devanbu, Mark A. Jones	The Use of Description Logics in KBSE Systems.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	knowledge basis, testing, tools, logics, software development environments, automated software engineering
44	Giuseppe De Giacomo, Maurizio Lenzerini	Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.	JELIA	1994	DBLP DOI BibTeX RDF
44	Stefan Marr (eds.)	Proceedings of the 19th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2023, Cascais, Portugal, 24 October 2023	DLS	2023	DBLP DOI BibTeX RDF
44	Maxime Chevalier-Boisvert	Are We Heading towards a Dynamic Language Winter? (Invited Talk).	DLS	2023	DBLP DOI BibTeX RDF
44	Kevin Menard	JITs Are Nice, but Why Aren't We Using Them? (Invited Talk).	DLS	2023	DBLP DOI BibTeX RDF
44	Mark Marron	Programming Languages for AI Programing Agents (Invited Talk).	DLS	2023	DBLP DOI BibTeX RDF
44	James Noble 0001	All Languages Are Dynamic (Invited Talk).	DLS	2023	DBLP DOI BibTeX RDF
44	Rodrigo Bruno	Language Runtimes for the New Cloud Era (Invited Talk).	DLS	2023	DBLP DOI BibTeX RDF
44	Andreas Rossberg	Keeping the asm in Wasm: Running High-Level Languages on a Low-Level VM (Invited Talk).	DLS	2023	DBLP DOI BibTeX RDF
44	Christophe Scholliers	The Bright Future of Debuggers: Challenges and Opportunities (Invited Talk).	DLS	2023	DBLP DOI BibTeX RDF
44	Walter Cazzola	Is Polyglot Programming Really a Thing? (Invited Talk).	DLS	2023	DBLP DOI BibTeX RDF
44	Wolfgang De Meuter, Arjun Guha (eds.)	Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2022, Auckland, New Zealand, 7 December 2022	DLS	2022	DBLP DOI BibTeX RDF
44	Sophie Kaleba, Octave Larose, Richard Jones, Stefan Marr	Who You Gonna Call: Analyzing the Run-Time Call-Site Behavior of Ruby Applications.	DLS	2022	DBLP DOI BibTeX RDF
44	Stefan Marr, Humphrey Burchell, Fabio Niephaus	Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages.	DLS	2022	DBLP DOI BibTeX RDF
44	Arjun Guha (eds.)	DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, Virtual Event / Chicago, IL, USA, October 19, 2021.	DLS	2021	DBLP DOI BibTeX RDF
44	Aviral Goel, Jan Vitek	First-class environments in R.	DLS	2021	DBLP DOI BibTeX RDF
44	Sona Torosyan, Jon Zeppieri, Matthew Flatt	Runtime and compiler support for HAMTs.	DLS	2021	DBLP DOI BibTeX RDF
44	Théo Rogliano, Guillermo Polito, Luc Fabresse, Stéphane Ducasse	Analyzing permission transfer channels for dynamically typed languages.	DLS	2021	DBLP DOI BibTeX RDF
44	Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack	Union and intersection contracts are hard, actually.	DLS	2021	DBLP DOI BibTeX RDF
44	Florian Latifi, David Leopoldseder, Christian Wimmer, Hanspeter Mössenböck	CompGen: generation of fast JIT compilers in a multi-language VM.	DLS	2021	DBLP DOI BibTeX RDF
44	Matthew Flat (eds.)	DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, Virtual Event, USA, November 17, 2020.	DLS	2020	DBLP DOI BibTeX RDF
44	Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek	Sampling optimized code for type feedback.	DLS	2020	DBLP DOI BibTeX RDF
44	Tobias Kohn, Guido van Rossum, Gary Brandt Bucher II, Talin, Ivan Levkivskyi	Dynamic pattern matching with Python.	DLS	2020	DBLP DOI BibTeX RDF
44	Donald Pinckney, Arjun Guha, Yuriy Brun	Wasm/k: delimited continuations for WebAssembly.	DLS	2020	DBLP DOI BibTeX RDF
44	Yusuke Izawa, Hidehiko Masuhara	Amalgamating different JIT compilations in a meta-tracing JIT compiler framework.	DLS	2020	DBLP DOI BibTeX RDF
44	Milod Kazerounian, Brianna M. Ren, Jeffrey S. Foster	Sound, heuristic type annotation inference for Ruby.	DLS	2020	DBLP DOI BibTeX RDF
44	Dejice Jacob, Phil Trinder, Jeremy Singer	Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms.	DLS	2020	DBLP DOI BibTeX RDF
44	John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle	DelayRepay: delayed execution for kernel fusion in Python.	DLS	2020	DBLP DOI BibTeX RDF
44	Ingkarat Rak-amnouykit, Daniel McCrevan, Ana L. Milanova, Martin Hirzel, Julian Dolby	Python 3 types in the wild: a tale of two type systems.	DLS	2020	DBLP DOI BibTeX RDF
44	Matteo Marra, Guillermo Polito, Elisa Gonzalez Boix	Framework-aware debugging with stack tailoring.	DLS	2020	DBLP DOI BibTeX RDF
44	Stefan Marr, Juan Fumero (eds.)	Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2019, Athens, Greece, October 20, 2019	DLS	2019	DBLP DOI BibTeX RDF
44	Thomas Dupriez, Guillermo Polito, Steven Costiou, Vincent Aranega, Stéphane Ducasse	Sindarin: a versatile scripting API for the Pharo debugger.	DLS	2019	DBLP DOI BibTeX RDF
44	Marcel Weiher, Robert Hirschfeld	Standard object out: streaming objects with polymorphic write streams.	DLS	2019	DBLP DOI BibTeX RDF
44	Remigius Meier, Thomas R. Gross	Reflections on the compatibility, performance, and scalability of parallel Python.	DLS	2019	DBLP DOI BibTeX RDF
44	Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, Jan Vitek	R melts brains: an IR for first-class environments and lazy effectful arguments.	DLS	2019	DBLP DOI BibTeX RDF
44	Dejice Jacob, Phil Trinder, Jeremy Singer	Python programmers have GPUs too: automatic Python loop parallelization with staged dependence analysis.	DLS	2019	DBLP DOI BibTeX RDF
44	Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri	Optimizing and evaluating transient gradual typing.	DLS	2019	DBLP DOI BibTeX RDF
44	Clément Béra, Eliot Miranda, Elisa Gonzalez Boix	Lazy pointer update for low heap compaction pause times.	DLS	2019	DBLP DOI BibTeX RDF
44	Michael Homer, Timothy Jones 0002, James Noble 0001	First-class dynamic types.	DLS	2019	DBLP DOI BibTeX RDF
44	Daniel Stolpe, Tim Felgentreff, Christian Humer, Fabio Niephaus, Robert Hirschfeld	Language-independent development environment support for dynamic runtimes.	DLS	2019	DBLP DOI BibTeX RDF
44	Tim Felgentreff (eds.)	Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2018, Boston, MA, USA, November 6, 2018	DLS	2018	DBLP DOI BibTeX RDF
44	Martin Bodin, Tomás Diaz, Éric Tanter	A trustworthy mechanized formalization of R.	DLS	2018	DBLP DOI BibTeX RDF
44	David Herrera, Hanfeng Chen, Erick Lavoie, Laurie J. Hendren	Numerical computing on the web: benchmarking for the future.	DLS	2018	DBLP DOI BibTeX RDF
44	Yoav Seginer, Theo Vosse, Gil Harari, Uri Kolodny	Query-based object-oriented programming: a declarative web of objects.	DLS	2018	DBLP DOI BibTeX RDF
44	Manuel Serrano	JavaScript AOT compilation.	DLS	2018	DBLP DOI BibTeX RDF
44	Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger	Self-contained development environments.	DLS	2018	DBLP DOI BibTeX RDF
44	Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi	The behavior of gradual types: a user study.	DLS	2018	DBLP DOI BibTeX RDF
44	Mark Marron	Log++ logging for a cloud-native world.	DLS	2018	DBLP DOI BibTeX RDF
44	Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, Laurie J. Hendren	HorseIR: bringing array programming languages together with database query processing.	DLS	2018	DBLP DOI BibTeX RDF
44	Roberto Ierusalimschy (eds.)	Proceedings of the 12th Symposium on Dynamic Languages, DLS 2016, Amsterdam, The Netherlands, November 1, 2016	DLS	2016	DBLP DOI BibTeX RDF
44	Remigius Meier, Armin Rigo, Thomas R. Gross	Parallel virtual machines with RPython.	DLS	2016	DBLP DOI BibTeX RDF
44	Stefan Marr, Benoit Daloze, Hanspeter Mössenböck	Cross-language compiler benchmarking: are we fast yet?	DLS	2016	DBLP DOI BibTeX RDF
44	Alessandro Warth, Patrick Dubroy, Tony Garnock-Jones	Modular semantic actions.	DLS	2016	DBLP DOI BibTeX RDF
44	Mattias De Wael, Janwillem Swalens, Wolfgang De Meuter	Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism.	DLS	2016	DBLP DOI BibTeX RDF
44	Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might	A small embedding of logic programming with a simple complete search.	DLS	2016	DBLP DOI BibTeX RDF
44	Lukas Stadler, Adam Welc, Christian Humer, Mick Jordan	Optimizing R language execution via aggressive speculation.	DLS	2016	DBLP DOI BibTeX RDF
44	Thomas S. Heinze, Anders Møller, Fabio Strocco	Type safety analysis for Dart.	DLS	2016	DBLP DOI BibTeX RDF