Search results for "Warren"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Timothy J. Rolfe	One-time binary search tree balancing: the Day/Stout/Warren (DSW) algorithm.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
55	Frank D. Francone, Larry M. Deschaine, Jeffrey J. Warren	Discrimination of munitions and explosives of concern at F.E. warren afb using linear genetic programming.	GECCO	2007	DBLP DOI BibTeX RDF	EM61 MK2, MEC, UXO, discipulus, geophysics, munitions and explosives of concern, unexploded ordnance, linear genetic programming
47	Rita Loogen	From Reduction Machines To Narrowing Machines.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
45	Philip W. Fink, Patrick S. Foo, William H. Warren	Obstacle avoidance during walking in real and virtual environments.	ACM Trans. Appl. Percept.	2007	DBLP DOI BibTeX RDF	modeling, virtual reality, Locomotion
44	Pascual Julián Iranzo, Clemente Rubio-Manzano	A Similarity-Based WAM for Bousi~Prolog.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming
44	Gerald M. Karam	Computational Improvements in Prolog Applications by Predicate Variable Pointers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	structure-oriented operations, Warren, computational improvements, Prolog applications, predicate variable pointers, clause-oriented operations, uninstantiated variables, built-in predicates, C-Prolog, symbol table dictionary, pseudo-Pascal compiler, computational complexity, data structures, data structures, PROLOG, logical implications, performance benefits
44	Johann Schumann, Reinhold Letz	PARTHEO: A High-Performance Parallel Theorem Prover.	CADE	1990	DBLP DOI BibTeX RDF	Warren Abstract Machine, message passing, Theorem proving, first-order logic, transputers, or-parallelism, model elimination, connection method
42	Ralph Butler, Rasiah Loganantharaj, Robert Olson	Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine.	CADE	1988	DBLP DOI BibTeX RDF
40	F. Warren McFarlan, Jack Rockart	China and Information Technology: An Interview with Warren McFarlan from the Harvard Business School.	MIS Q. Executive	2004	DBLP BibTeX RDF
40	Warren M. Sterling	A Massive Repository for the National Medical Knowledge Bank Warren M. Sterling, Ph.D.	MSS	2001	DBLP DOI BibTeX RDF
40	Ron Goldman 0002, Joe D. Warren	Erratum: Volume 55, Number 1 (1993) in the article "An Extension of Chaiken's Algorithm to B-Spline Curves with Knots in Geometric Progression," by Ron Goldman and Joe Warren, pages 58-62.	CVGIP Graph. Model. Image Process.	1993	DBLP DOI BibTeX RDF
31	Michael S. Floater, Jirí Kosinka	Barycentric interpolation and mappings on smooth convex domains.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF	barycentric mapping, injectivity, interpolation, barycentric coordinates
31	Kelvin Yeow, R. Nigel Horspool, Michael R. Levy	Expeditious XML Processing.	IDEAL	2002	DBLP DOI BibTeX RDF
31	Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva	A Novel Implementation of the Extended Andorra Model.	PADL	2001	DBLP DOI BibTeX RDF
31	Anestis A. Toptsis, Clement T. Yu, Peter C. Nelson	Computing the Transitive Closure of Symmetric Matrices.	ICCI	1990	DBLP DOI BibTeX RDF	Transitive closure, binary relation, symmetric matrix
31	Rodney Farrow	Sub-protocol-evaluators for attribute grammars.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
29	Warren Harrison	From the Editor: Clueless-and Oblivious.	IEEE Softw.	2004	DBLP DOI BibTeX RDF
28	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Comparing tag scheme variations using an abstract machine generator.	PPDP	2008	DBLP DOI BibTeX RDF	Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
28	S. Ivanets, N. Ilinsky, M. Krylov	WAM Specification for Parallel Execution on SIMD Computer.	RCLP	1991	DBLP DOI BibTeX RDF	parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer
27	Somayeh Moazeni, Warren R. Scott, Warren B. Powell	Least squares policy iteration with instrumental variables vs. direct policy search: comparison against optimal benchmarks using energy storage.	INFOR Inf. Syst. Oper. Res.	2020	DBLP DOI BibTeX RDF
27	Hyun Keun Ahn, Qiang Qiu, Edward Bosch, Andrew Thompson 0001, Francisco E. Robles, Guillermo Sapiro, Warren S. Warren, A. Robert Calderbank	Classifying Pump-Probe Images of Melanocytic Lesions Using the WEYL Transform.	ICASSP	2018	DBLP DOI BibTeX RDF
27	Jim Warren 0001, Ewan D. Tempero, Ian Warren, Anjuka Sathianathan, Sarah Hopkins, Matthew Shepherd, Sally Merry	Experience Building IT Infrastructure for Research with Online Youth Mental Health Tools.	ASWEC	2018	DBLP DOI BibTeX RDF
27	Tze King Tan, Ka Yun Tan, Ranjeev Hari, Aini Mohamed Yusoff, Guat Jah Wong, Cheuk C. Siow, Naresh V. R. Mutha, Mike Rayko, Aleksey Komissarov, Pavel Dobrynin, Ksenia Krasheninnikova, Gaik Tamazian, Ian C. Paterson, Wesley C. Warren, Warren E. Johnson, Stephen J. O'Brien, Siew Woh Choo	PGD: a pangolin genome hub for the research community.	Database J. Biol. Databases Curation	2016	DBLP DOI BibTeX RDF
27	Warren R. Scott, Warren B. Powell, Somayeh Moazehi	Least Squares Policy Iteration with Instrumental Variables vs. Direct Policy Search: Comparison Against Optimal Benchmarks Using Energy Storage.	CoRR	2014	DBLP BibTeX RDF
27	Daniel R. Jiang, Thuy V. Pham, Warren B. Powell, Daniel F. Salas, Warren R. Scott	A comparison of approximate dynamic programming techniques on benchmark energy storage problems: Does anything work?	ADPRL	2014	DBLP DOI BibTeX RDF
27	Marco F. Duarte, Thomas E. Matthews, Warren S. Warren, A. Robert Calderbank	Melanoma classification from Hidden Markov Tree features.	ICASSP	2012	DBLP DOI BibTeX RDF
27	Warren B. Powell, Abraham P. George, Hugo P. Simão, Warren R. Scott, Alan Lamont, Jeffrey Stewart	SMART: A Stochastic Multiscale Model for the Analysis of Energy Resources, Technology, and Policy.	INFORMS J. Comput.	2012	DBLP DOI BibTeX RDF
27	Jim Warren 0001, John Kennelly, Debra E. Warren, C. Raina Elley, Kuinileti Chang Wai, Marilyn Manukia, Jennifer Davy, Thusitha De Silva Mabotuwana, Elizabeth Robinson	Using the general practice EMR for improving blood pressure medication adherence.	HIC	2012	DBLP DOI BibTeX RDF
27	Warren R. Scott, Peter I. Frazier, Warren B. Powell	The Correlated Knowledge Gradient for Simulation Optimization of Continuous Parameters using Gaussian Process Regression.	SIAM J. Optim.	2011	DBLP DOI BibTeX RDF
27	Mark D. Nelson, Sean Healey, Warren Keith Moser, Jeffrey G. Masek, Warren B. Cohen	Consistency Of Forest Presence And Biomass Predictions Modeled Across Overlapping Spatial And Temporal Extents.	Math. Comput. For. Nat. Resour. Sci.	2011	DBLP BibTeX RDF
27	Roger Anderson, Albert Boulanger, Warren B. Powell, Warren R. Scott	Adaptive Stochastic Control for the Smart Grid.	Proc. IEEE	2011	DBLP DOI BibTeX RDF
27	Jim Warren 0001, Debra E. Warren, Hong Yul Yang, Thusitha De Silva Mabotuwana, John Kennelly, Tim Kenealy, Jeff Harrison	Prescribing History to Identify Candidates for Chronic Condition Medication Adherence Promotion.	MIE	2011	DBLP DOI BibTeX RDF
27	Warren R. Scott, Warren B. Powell, Hugo P. Simão	Calibrating simulation models using the knowledge gradient with continuous parameters.	WSC	2010	DBLP DOI BibTeX RDF
27	Jennifer L. Whitwell, Elizabeth L. Sampson, Clement T. Loy, Jane E. Warren, Martin Rossor, Nick C. Fox, Jason D. Warren	VBM signatures of abnormal eating behaviours in frontotemporal lobar degeneration.	NeuroImage	2007	DBLP DOI BibTeX RDF
27	Tong Ye, Warren Warren, Martin Fischer, Wolfgang Wagner 0007, Peifang Tian, Gunay Yurtsever	Deep Tissue Imaging Approaches By Direct Capture of Two-Photon Absorption.	ISBI	2004	DBLP DOI BibTeX RDF
27	Warren Brooks, Matthew J. Warren	Health Information Security Evaluation: Continued Development of an Object-Oriented Method.	AISM	2004	DBLP BibTeX RDF
27	Edward O. Warren, Judith J. Warren	Patient Falls Rate as a Nursing Management Tool: A Statistical Simulation.	AMIA	2001	DBLP BibTeX RDF
27	Matthew J. Warren, Shona Warren	The Role of Participation in Systems.	ICSTM	2000	DBLP BibTeX RDF
27	James R. Warren, Debra E. Warren, Richard W. Freedman	Interviewing Expertise in Primary Care Medicine: A Knowledge-Based Support System.	HICSS (3)	1994	DBLP BibTeX RDF
27	James R. Warren, Debra E. Warren, Richard W. Freedman	A Knowledge-Based Patient Data Acquisition System for Primary Care Medicine.	CIKM	1993	DBLP DOI BibTeX RDF
27	Warren T. Jones, Warren S. Martin, Mary Evan McWilliams, M. Vernon Nabors	Knowledge-based system for assessment of potential entrepreneurs.	Appl. Artif. Intell.	1991	DBLP DOI BibTeX RDF
27	Donald L. Thomsen Jr., Warren J. Ewens, James S. Coleman, John J. Donovan, Warren E. Walker	Computing and mathematics in society.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
26	Blake Ives, Mary C. Lacity, Jeanne W. Ross	F. Warren McFarlan's Pioneering Role in Impacting IT Management Through Academic Research.	MIS Q. Executive	2023	DBLP BibTeX RDF
26	Yuhang Wu, Hao Wu	Warren at SemEval-2020 Task 4: ALBERT and Multi-Task Learning for Commonsense Validation.	SemEval@COLING	2020	DBLP DOI BibTeX RDF
26	Michael Milovich	From Technology Revolution to Digital Revolution: An Interview with F. Warren McFarlan from the Harvard Business School.	Commun. Assoc. Inf. Syst.	2019	DBLP DOI BibTeX RDF
26	Marcelo Henriques-de-Brito	Warren Buffett's Bet and Berkshire Hathaway's Investment Skill.	ITQM	2015	DBLP DOI BibTeX RDF
26	George Souza Oliveira, Anderson Faustino da Silva	Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações.	RITA	2013	DBLP DOI BibTeX RDF
26	Ashu M. G. Solo	Warren, McCain, and Obama Needed Fuzzy Sets at Presidential Forum.	Adv. Fuzzy Syst.	2012	DBLP DOI BibTeX RDF
26	Thilo Weichert	Anmerkungen zu Warren/Brandeis - Das Recht auf Privatheit.	Datenschutz und Datensicherheit	2012	DBLP DOI BibTeX RDF
26	Annie Everall	Book review: Viv Warren and Mary Yardley (eds.), Who next...? A guide to children's authors.	J. Libr. Inf. Sci.	2012	DBLP DOI BibTeX RDF
26	Rudolf Seising	Warren Weaver's "Science and complexity" Revisited.	Soft Computing in Humanities and Social Sciences	2012	DBLP DOI BibTeX RDF
26	Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra	The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars.	PADL	2012	DBLP DOI BibTeX RDF
26	Anastasios D. Pouliezos	"Lyapunov-Based Control of Robotic Systems" - Aman Behal, Warren Dixon, Darren M. Dawson and Bin Xian (CRC Press 2010).	J. Intell. Robotic Syst.	2011	DBLP DOI BibTeX RDF
26	LiPeng Bi, Chad Groce, Cheryl Davis	Molecular analysis of Trypanosoma cruzi isolates obtained from raccoons in Warren and Barren counties of Kentucky.	BMC Bioinform.	2010	DBLP DOI BibTeX RDF
26	Ashu M. G. Solo, Madan M. Gupta, Noriyasu Homma, Zeng-Guang Hou	Obama, McCain, and Warren Needed Fuzzy Logic to Define Rich by Income.	CSREA EE	2009	DBLP BibTeX RDF
26	Stuart Hannabuss	Book Review: Who Next...? A Guide to Children's Authors, 3rd edn edited by Viv Warren and Mary Yardley 2007, Loughborough: LISU [Library & Information Statistics Unit], vi, 182pp, £14.49, ISBN 1905499069.	J. Libr. Inf. Sci.	2008	DBLP DOI BibTeX RDF
26	Sally Fincher, Josh Tenenberg	Warren's question.	ICER	2007	DBLP DOI BibTeX RDF
26	Vladik Kreinovich	Handbook of Learning and Approximate Dynamic Programming, by Jennie Si, Andrew G. Barto, Warren B. Powell and Donald Wunsch II, eds.	J. Intell. Fuzzy Syst.	2005	DBLP BibTeX RDF
26	Michele Matherly	Discussion of: Growing a Nontraditional Accounting Firm: Warren and Associates.	J. Inf. Syst.	2004	DBLP DOI BibTeX RDF
26	Nancy A. Bagranoff, Leslie D. Turner	Growing a Nontraditional Accounting Firm: Warren and Associates.	J. Inf. Syst.	2004	DBLP DOI BibTeX RDF
26	Yehuda Rav	Perspectives On The History Of The Cybernetics Movement: The Path To Current Research Through The Contributions Of Norbert Wiener, Warren Mcculloch, and John von Neumann.	Cybern. Syst.	2002	DBLP DOI BibTeX RDF
26	Ross Vermeer	The Virtual University: The Internet and Resource-based Learning: Steve Ryan, Bernard Scott, Howard Freeman and Daxa Patel, Kogan Page, London, 2000, 204 pp, ISBN 0 7494 2508 3, The Changing Face of Learning Technology Edited by David Squires, Gráinne Conole and Gabriel Jacobs, University of Wales Press, Cardiff, 182pp, ISBN 0 7083 1681 6, Integrating Technology in Learning and Teaching Pat Maier and Adam Warren, Kogan Page, London, 2000, 162 pp, ISBN 0 7494 31806.	Comput. Educ.	2001	DBLP DOI BibTeX RDF
26	Alexandru T. Balaban	Process Design Principles: Synthesis, Analysis, and Evaluation By Warren D. Seider, J. D. Seader, and Daniel R. Lewin. Wiley: New York, 1999, 824 pp, ISBN 0-471-24312-4.	J. Chem. Inf. Comput. Sci.	2000	DBLP DOI BibTeX RDF
26	Stafford Beer	On the Nature of Models: Let us Now Praise Famous Men and Women, from Warren McCulloch to Candace Pert.	Informing Sci. Int. J. an Emerg. Transdiscipl.	1999	DBLP DOI BibTeX RDF
26	Hongji Yang	The Renaissance of Legacy Systems: Method Support for Software-System Evolution, Ian Warren, Springer-Verlag, 1999 (Book Review).	Softw. Test. Verification Reliab.	1999	DBLP BibTeX RDF
26	David J. Greaves, Richard J. Bradbury	Warren: a low-cost ATM home area network.	IEEE Netw.	1998	DBLP DOI BibTeX RDF
26	Christoph Beierle, Gregor Meyer	Run-Time Type Computations in the Warren Abstract Machine.	J. Log. Program.	1994	DBLP DOI BibTeX RDF
26	Jack Yurkiewicz	Computer models for management science, 3rd ed., by Warren Erikson and Owen Hall, Addison-Wesley, Reading, MA, 1989, 263 pp.	Networks	1994	DBLP DOI BibTeX RDF
26	Juan Carlos González Moreno	A Correctness Proof for Warren's HO into FO Translation.	GULP	1993	DBLP BibTeX RDF
26	Julio García-Martín, Juan José Moreno-Navarro	Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine.	AADEBUG	1993	DBLP DOI BibTeX RDF
26	Evelina Lamma, Paola Mello, Antonio Natali	An Extended Warren Abstract Machine for the Execution of Structured Logic Programs.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
26	David M. Russinoff	A Verified Prolog Compiler for the Warren Abstract Machine.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
26	Christoph Beierle, Gregor Meyer, Heiner Semle	Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution	IWBS Report	1991	RDF
26	Hassan Aït-Kaci	Warren's Abstract Machine: A Tutorial Reconstruction		1991	RDF
26	Christoph Beierle, Gregor Meyer, Heiner Semle	Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution.	ISLP	1991	DBLP BibTeX RDF
26	Hassan Aït-Kaci	Warren's Abstract Machine.	ICLP	1991	DBLP BibTeX RDF
26	Christian Schulte 0001	Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine.		1991	RDF
26	Stefan Böttcher	Integrating a Deductive Database System with a Warren Abstract Machine	IWBS Report	1990	RDF
26	Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards	On Warren's Method for Functional Programming in Logic.	ICLP	1990	DBLP BibTeX RDF
26	Hervé J. Touati, Alvin M. Despain	An Empirical Study of the Warren Abstract Machine.	SLP	1987	DBLP BibTeX RDF
26	Marty Kalin	Book review: Logic Programming and its Applications. edited by Michel van Caneghem and David H. D. Warren. Ablex Series in Artificial Intelligence (Ablex Publishing Corporation, 1986).	SIGART Newsl.	1986	DBLP DOI BibTeX RDF
26	Hans-Jürgen Bürckert	Lazy Theory Unification inProlog: An Extension of the warren Abstract machine.	GWAI	1986	DBLP DOI BibTeX RDF
26	John C. Cherniavsky	Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Burton Dreben and Warren D. Goldfarb. Addison-Wesley 1979.	SIGACT News	1982	DBLP DOI BibTeX RDF
26	Wlodzimierz Dobosiewicz	Author's Reply to Warren Burton's Comments on Distributive Partitioning Sorting.	Inf. Process. Lett.	1978	DBLP DOI BibTeX RDF
26	Barrie Nicholson	Microprocessors in measurement and control: 28 February-1 March 1978, Cutlers-Hall, Sheffield, UK. Organized by Sira Institute, Warren Springs Laboratory, UK.	Microprocess.	1978	DBLP DOI BibTeX RDF
26	Richard D. Whitehead	Application of microprocessors in instrumentation and control systems: 29-30 September, 1976, City University, London, organized by Sira Institute in association with Warren Spring Laboratory.	Microprocess.	1977	DBLP DOI BibTeX RDF
16	Antonio Badia	Is formalizing events necessary for full exploitation.	ESAIR	2010	DBLP DOI BibTeX RDF
16	Jean-Claude Lepecq, Lionel Bringoux, Jean-Marie Pergandi, Thelma Coyle, Daniel Mestre	Afforded actions as a behavioral assessment of physical presence in virtual environments.	Virtual Real.	2009	DBLP DOI BibTeX RDF	Virtual reality, Presence, Behavior, Affordance
16	Louis R. D'Alessandro, Donald T. Gantz	Combining academic studies with it certifications: becoming a cisco regional academy.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	networking, curriculum, certification
16	Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci	The architecture and design of a malleable object-oriented prolog engine.	SAC	2008	DBLP DOI BibTeX RDF	prolog, finite state machine, object-oriented design
16	Julia Mixtacki	Genome Halving under DCJ Revisited.	COCOON	2008	DBLP DOI BibTeX RDF
16	Hakan Erdogmus	IEEE Software - 2007 and Beyond.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	software engineering, volunteer
16	John Fisher, Marc Bezem	Skolem Machines and Geometric Logic.	ICTAC	2007	DBLP DOI BibTeX RDF
16	Alexander G. Belyaev	On transfinite barycentric coordinates.	Symposium on Geometry Processing	2006	DBLP DOI BibTeX RDF
16		Letters: Convenience vs. Security.	IEEE Softw.	2005	DBLP DOI BibTeX RDF
16	João Candido Portinari	The Portinari project: IR helps art and culture.	SIGIR	2005	DBLP DOI BibTeX RDF
16	Ahmad H. Nasri, Malcolm A. Sabin	Editorial to the Special Issue on subdivision 2001.	Vis. Comput.	2002	DBLP DOI BibTeX RDF
16	António Porto	Structural Abstraction and Application in Logic Programming.	FLOPS	2002	DBLP DOI BibTeX RDF
16	John Kenneth Truss	Elementary Properties of Cycle-free Partial Orders and their Automorphism Groups.	Order	2001	DBLP DOI BibTeX RDF	cycle-free, first order, partial order, automorphism group
16	Ahmed Al-Theneyan, Piyush Mehrotra, Mohammad Zubair	Enhancing Jini for Use Across Non-Multicastable Networks.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF