Search results for "Wright"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Saeed Alaei, Azarakhsh Malekian, Aravind Srinivasan	On random sampling auctions for digital goods.	EC	2009	DBLP DOI BibTeX RDF	auction, mechanism design, random sampling
14	Larissa Meinicke, Ian J. Hayes	Algebraic reasoning for probabilistic action systems and while-loops.	Acta Informatica	2008	DBLP DOI BibTeX RDF
14	Brian Magerko	Adaptation in Digital Games.	Computer	2008	DBLP DOI BibTeX RDF
14	Elizabeth K. Hawthorne	Revising the guidelines for associate-degree transfer curriculum in computer science.	ACM SIGCSE Bull.	2008	DBLP DOI BibTeX RDF
14	Haw-ren Fang, Dianne P. O'Leary	Modified Cholesky algorithms: a catalog with new approaches.	Math. Program.	2008	DBLP DOI BibTeX RDF
14	Jaiprakash T. Lallchandani, Rajib Mall	Regression testing based-on slicing of component-based software architectures.	ISEC	2008	DBLP DOI BibTeX RDF	architectural slicing, software architecture, regression testing, ADL, component-based systems
14	Temple F. Smith	Computational Biology: Its Challenges Past, Present, and Future.	RECOMB	2008	DBLP DOI BibTeX RDF
14	Javier Faulin, Miquel Gilibert, Angel A. Juan, Xavier Vilajosana, Rubén Ruiz	SR-1: A simulation-based algorithm for the Capacitated Vehicle Routing Problem.	WSC	2008	DBLP DOI BibTeX RDF
14	Frank W. Moore, Brendan J. Babb	A differential evolution algorithm for optimizing signal compression and reconstruction transforms.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	genetic algorithms, wavelets, image reconstruction, image compression, satellite images, quantization error, evolved transforms
14	Tove Jaensson, Annika Voss	Industrial experience: evaluating novel interaction styles.	NordiCHI	2008	DBLP DOI BibTeX RDF	HCI in industry, motion based interaction, user study
14	Shi-Kuo Chang	Virtual Spaces: From the Past to the Future.	VISUAL	2008	DBLP DOI BibTeX RDF
14	J. R. Welch	Vagueness and Inductive Molding.	Synth.	2007	DBLP DOI BibTeX RDF
14	Yannis Marinakis, Athanasios Migdalas	Annotated bibliography in vehicle routing.	Oper. Res.	2007	DBLP DOI BibTeX RDF	annotated bibliography, survey, Vehicle routing problem
14	Quinn Stewart, Grete Pasch, Rodrigo Arias	From kinescope to rich media: 50 years (ago) with Mike Wallace.	JCDL	2007	DBLP DOI BibTeX RDF	Mike Wallace, digital video collections, indexed video, library interface, XML, streaming video, rich media
14	Shude Zhou, Zengqi Sun, Robert B. Heckendorn	Extended probe method for linkage discovery over high-cardinality alphabets.	GECCO	2007	DBLP DOI BibTeX RDF	high-cardinality probe, linkage detection, Fourier transform, epistasis
14	Caroline Prodhon	A Metaheuristic for the Periodic Location-Routing Problem.	OR	2007	DBLP DOI BibTeX RDF	Periodic Location-Routing Problem, Heuristic
14	Christian Prins, Caroline Prodhon, Roberto Wolfler Calvo	Solving the capacitated location-routing problem by a GRASP complemented by a learning process and a path relinking.	4OR	2006	DBLP DOI BibTeX RDF	MSC Classification 90B06
14	Larissa Meinicke, Ian J. Hayes	Reasoning Algebraically About Probabilistic Loops.	ICFEM	2006	DBLP DOI BibTeX RDF
14	Arnaud Carayol, Didier Caucal	The Kleene Equality for Graphs.	MFCS	2006	DBLP DOI BibTeX RDF
14	Michael G. Madden	Learning curve application to space shuttle processing simulations.	WSC	2006	DBLP DOI BibTeX RDF
14	Nicola J. Bidwell, David Browning	Making there: methods to uncover egocentric experience in a dialogic of natural places.	OZCHI	2006	DBLP DOI BibTeX RDF	egocentric video, embodiment, probes, place, nature
14	Leslie S. Perkins, Phil Andrews, Dhabaleswar K. Panda 0001, Dave Morton, Ron Bonica, Nick Henry Werstiuk, Randy Kreiser	Panel: Data intensive computing.	SC	2006	DBLP DOI BibTeX RDF
14	Hyunyoung Lee, Jennifer L. Welch	Randomized registers and iterative algorithms.	Distributed Comput.	2005	DBLP DOI BibTeX RDF	probabilistic quorums, randomization, distributed shared memory, iterative algorithms, registers
14	Gary Singh	Fractal Fracas.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	fractal art, fractals
14		Tools and Products.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	front-projection screen, high-resolution grahpics, 2D storyboarding, 3D character animation, 3D models, HDTV
14	Yanjun Wen, Ji Wang 0001, Zhi-Chang Qi	2/3 Alternating Simulation Between Interface Automata.	ICFEM	2005	DBLP DOI BibTeX RDF
14	Matthew J. W. Morgan, Christine L. Mumford	Capacitated vehicle routing: perturbing the landscape to fool an algorithm.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
14	Hiroshi Furutani, Makoto Sakamoto, Susumu Katayama	Influence of Finite Population Size - Extinction of Favorable Schemata.	ICNC (2)	2005	DBLP DOI BibTeX RDF
14	Boris Mitavskiy, Jonathan E. Rowe	A Schema-Based Version of Geiringer's Theorem for Nonlinear Genetic Programming with Homologous Crossover.	FOGA	2005	DBLP DOI BibTeX RDF
14	Zeynep Özyurt, Deniz Aksen, Necati Aras	Open Vehicle Routing Problem with Time Deadlines: Solution Methods and an Application.	OR	2005	DBLP DOI BibTeX RDF
14	Hongmei Wang, Zheng Zhao, Zhi-Wei Sun	Privacy-Preserving Bayesian Network Structure Learning on Distributed Heterogeneous Data.	PRDC	2005	DBLP DOI BibTeX RDF
14	Min-Sheng Lin	An O(k2·log(n)) algorithm for computing the reliability of consecutive-k-out-of-n: F systems.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
14		Readers' Remarks.	IEEE Multim.	2004	DBLP DOI BibTeX RDF
14	Richard A. Baldwin, Eric Neufeld	The Structural Model Interpretation of the NESS Test.	Canadian AI	2004	DBLP DOI BibTeX RDF
14	Carlos de Salles Soares Neto, Rogério Ferreira Rodrigues, Luiz Fernando Gomes Soares	Architectural Description of QoS Provisioning for Multimedia Application Support.	MMM	2004	DBLP DOI BibTeX RDF
14	Matthew Heaney	Shortcuts: A Critical Look.	Ada-Europe	2004	DBLP DOI BibTeX RDF
14	Fairouz Kamareddine, Manuel Maarek, J. B. Wells	Flexible Encoding of Mathematics on the Computer.	MKM	2004	DBLP DOI BibTeX RDF
14	Bernhard K. Aichernig	Mutation Testing in the Refinement Calculus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Formal specifications, Formal methods, Refinement, Abstraction, Test case generation, Mutation testing, Test coverage
14	Jin Uemura, Masako Sato	Learning of Erasing Primitive Formal Systems from Positive Examples.	ALT	2003	DBLP DOI BibTeX RDF
14	Carlo H. Séquin	Keynote lecture: aesthetic engineering.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF
14	Eugénio C. Oliveira, Luís Sarmento	Emotional Valence-Based Mechanisms and Agent Personality.	SBIA	2002	DBLP DOI BibTeX RDF
14	Zachary K. Baker, Viktor K. Prasanna	Performance Modeling and Interpretive Simulation of PIM Architectures and Applications (Research Note).	Euro-Par	2002	DBLP DOI BibTeX RDF
14	Yvo Desmedt, Yongge Wang	Perfectly Secure Message Transmission Revisited.	EUROCRYPT	2002	DBLP DOI BibTeX RDF	privacy, reliability, network security, network connectivity
14	Annabelle McIver, Carroll Morgan	Demonic, angelic and unbounded probabilistic choices in sequential programs.	Acta Informatica	2001	DBLP DOI BibTeX RDF
14	Dimitri Konstantas, Erich J. Neuhold, Vaggelis Ouzounis, Fred Wall, Paul Moody	Trading of Intangible Goods - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
14	Shai Halevi, Robert Krauthgamer, Eyal Kushilevitz, Kobbi Nissim	Private approximation of NP-hard functions.	STOC	2001	DBLP DOI BibTeX RDF
14	Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young	Compiler and tool support for debugging object protocols.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	protocols, debugging, sequencing constraints
14	Yoram Moses	Issues in the Refinement of Distributed Programs.	FTRTFT	2000	DBLP DOI BibTeX RDF
14	Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu	Algebraic Methods for Optimization Problems.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
14	Symeon Bozapalidis	Equational Elements in Additive Algebras.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
14	Jeffrey J. P. Tsai, Kuang Xu	Architecture Specification of Multimedia Software Systems.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF	architecture specification languages, Software architecture, multimedia systems, object-oriented paradigm
14	David Garlan, Zhenyu Wang	Acme-Based Software Architecture Interchange.	COORDINATION	1999	DBLP DOI BibTeX RDF
14	Sanjay Jain 0001, Arun Sharma 0001	Mind Change Complexity of Learning Logic Programs.	EuroCOLT	1999	DBLP DOI BibTeX RDF
14	Donald E. Knuth	Linear Probing and Graphs.	Algorithmica	1998	DBLP DOI BibTeX RDF	Parking problem, Hashing, Inversions, Labeled trees, Sparse graphs, Linear probing
14	Dean W. Podlich, Mark Cooper	Modelling Plant Breeding Programs as Search Strategies on a Complex Response Surface.	SEAL	1998	DBLP DOI BibTeX RDF
14	Bart Naudts, Jan Naudts	The Effect of Spin-Flip Symmetry on the Performance of the Simple GA.	PPSN	1998	DBLP DOI BibTeX RDF
14	Daniel Lin, Michael C. Loui	Taking the byte out of cookies: privacy, consent, and the Web.	ACM Policy	1998	DBLP DOI BibTeX RDF	Internet, World Wide Web (WWW)
14	Georges Winkenbach, David Salesin	Computer-generated pen-and-ink illustration.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	architectural rendering, comprehensible rendering, prioritized stroke textures, resolution-dependent rendering, texture indication, non-photorealistic rendering
14	James Mayfield, Edwin Addison	Synchronetics: description of the Synchronetics system used for MUC-3.	MUC	1991	DBLP DOI BibTeX RDF
14	Bonnie E. John	Extensions of GOMS analyses to expert performance requiring perception of dynamic visual and auditory information.	CHI	1990	DBLP DOI BibTeX RDF
14	Barbara Mirel	Usability and hardcopy manuals: evaluating research designs and methods.	SIGDOC	1990	DBLP DOI BibTeX RDF
14	Bruno Courcelle	The Monadic Second-Order Logic of Graphs: Definable Sets of Finite Graphs.	WG	1988	DBLP DOI BibTeX RDF
14	Dennis M. Miller, James W. Howatt, Robert S. Maness, Wade H. Shaw Jr.	A Software Science Counting Strategy for the Full Ada Language.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Ada
14	Damian Niwinski	On Fixed-Point Clones (Extended Abstract).	ICALP	1986	DBLP DOI BibTeX RDF
14	Peter D. Mosses	A Constructive Approach to Compiler Correctness.	ICALP	1980	DBLP DOI BibTeX RDF
14	Peter D. Mosses	A constructive approach to compiler correctness.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
14	John C. Ostgaard	A Simulation Support System Capable Of Control, Monitoring And Simulation Of Airborne Systems.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
14	Michael A. Arbib	Turing Machines, Finite Automata and Neural Nets.	J. ACM	1961	DBLP DOI BibTeX RDF
13	Natalie C. Behague, Akina Kuperus, Natasha Morrison, Ashna Wright	Improved Bounds for Cross-Sperner Systems.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
13	Alykhan Sewani, Carlos-Felipe Roa, James J. Zhou, Yara Alawneh, Amaar Quadri, Rene Gilliland-Rocque, Emmanuel Chérin, Andrew Dueck, Christine E. M. Demore, Graham A. Wright, Mohammad Ali Tavallaei 0001	The CathEye: A Forward-Looking Ultrasound Catheter for Image-Guided Cardiovascular Procedures.	IEEE Trans. Medical Imaging	2024	DBLP DOI BibTeX RDF
13	Rebeckah Wright, Bradley Wade Bishop	Serving Remote Native Alaskans: A Geospatial Analysis of the History of Remote Alaskan Libraries and Opportunities to Connect with Alaskan Native Culture Through Public Libraries.	Public Libr. Q.	2024	DBLP DOI BibTeX RDF
13	Xiaojun Zhu, Jack K. Wright, N. R. Sree Harsha, Jim Browning, Allen L. Garner	Electron Trajectories and Critical Current in a Two-Dimensional Planar Magnetically Insulated Crossed-Field Gap.	IEEE Access	2024	DBLP DOI BibTeX RDF
13	Navid Mohammadian, Altug Didikoglu, Christopher Beach, Paul Wright 0004, Joshua W. Mouland, Franck P. Martial, Sheena Johnson, Martie van Tongeren, Timothy M. Brown, Robert J. Lucas, Alexander J. Casson	A Wrist-Worn Internet of Things Sensor Node for Wearable Equivalent Daylight Illuminance Monitoring.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
13	Stephen E. Wright	A note on computing maximum likelihood estimates for the three-parameter asymmetric Laplace distribution.	Appl. Math. Comput.	2024	DBLP DOI BibTeX RDF
13	Pratyaydipta Rudra, Yi-Hui Zhou, Andrew B. Nobel, Fred A. Wright	Control of false discoveries in grouped hypothesis testing for eQTL data.	BMC Bioinform.	2024	DBLP DOI BibTeX RDF
13	Siru Liu, Allison B. McCoy, Josh F. Peterson, Thomas A Lasko, Dean F. Sittig, Scott D. Nelson, Jennifer Andrews, Lorraine Patterson, Cheryl M. Cobb, David Mulherin, Colleen T. Morton, Adam Wright	Leveraging explainable artificial intelligence to optimize clinical decision support.	J. Am. Medical Informatics Assoc.	2024	DBLP DOI BibTeX RDF
13	Eloi Moliner, Leonardo Fierro, Alec Wright, Matti S. Hämäläinen, Vesa Välimäki	Noise Morphing for Audio Time Stretching.	IEEE Signal Process. Lett.	2024	DBLP DOI BibTeX RDF
13	Adam Wright, Mark D. Wilkinson, Christopher J. Mungall, Scott Cain, Stephen Richards, Paul W. Sternberg, Ellen Provin, Jonathan L. Jacobs, Scott Geib, Daniela Raciti, Karen Yook, Lincoln Stein, David C. Molik	FAIR Header Reference genome: a TRUSTworthy standard.	Briefings Bioinform.	2024	DBLP DOI BibTeX RDF
13	Minrui Xu, Dusit Niyato, Benjamin Wright, Hongliang Zhang 0001, Jiawen Kang, Zehui Xiong, Shiwen Mao, Zhu Han 0001	EPViSA: Efficient Auction Design for Real-Time Physical-Virtual Synchronization in the Human-Centric Metaverse.	IEEE J. Sel. Areas Commun.	2024	DBLP DOI BibTeX RDF
13	Zahra Sadeghi, Tim J. Wright, Andrew Hooper, Sivasakthy Selvakumaran	Using Ray Tracing to Improve Bridge Monitoring With High-Resolution SAR Satellite Imagery.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
13	Shuyao Li, Yu Cheng 0002, Ilias Diakonikolas, Jelena Diakonikolas, Rong Ge 0001, Stephen J. Wright 0001	Robust Second-Order Nonconvex Optimization and Its Application to Low Rank Matrix Sensing.	CoRR	2024	DBLP DOI BibTeX RDF
13	Oren Wright, Yorie Nakahira, José M. F. Moura	An Analytic Solution to Covariance Propagation in Neural Networks.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ruhui Jin, Martin Guerra, Qin Li, Stephen J. Wright 0001	Optimal experimental design via gradient flow.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ryan Wright, Sagar Parekh, Robin White, Dylan P. Losey	Safely and Autonomously Cutting Meat with a Collaborative Robot Arm.	CoRR	2024	DBLP DOI BibTeX RDF
13	Adnan Hoque, Less Wright, Chih-Chieh Yang, Mudhakar Srivatsa, Raghu K. Ganti	Accelerating a Triton Fused Kernel for W4A16 Quantized Inference with SplitK work decomposition.	CoRR	2024	DBLP DOI BibTeX RDF
13	Tatsuhiro Onodera, Martin M. Stein, Benjamin A. Ash, Mandar M. Sohoni, Melissa Bosch, Ryotatsu Yanagimoto, Marc Jankowski, Timothy P. McKenna, Tianyu Wang, Gennady Shvets, Maxim R. Shcherbakov, Logan G. Wright, Peter L. McMahon	Scaling on-chip photonic neural processors using arbitrarily programmable wave propagation.	CoRR	2024	DBLP DOI BibTeX RDF
13	Qiao Jin, Zhizheng Wang, Yifan Yang, Qingqing Zhu, Donald Wright, Thomas Huang 0003, W. John Wilbur, Zhe He, Andrew Taylor, Qingyu Chen 0001, Zhiyong Lu	AgentMD: Empowering Language Agents for Risk Prediction with Large-Scale Clinical Tool Learning.	CoRR	2024	DBLP DOI BibTeX RDF
13	Amelie Wührl, Dustin Wright 0001, Roman Klinger, Isabelle Augenstein	Understanding Fine-grained Distortions in Reports of Scientific Findings.	CoRR	2024	DBLP DOI BibTeX RDF
13	Ahmet Alacaoglu, Donghwan Kim, Stephen J. Wright 0001	Extending the Reach of First-Order Algorithms for Nonconvex Min-Max Problems with Cohypomonotonicity.	CoRR	2024	DBLP DOI BibTeX RDF
13	Herbert Wright, Weiming Zhi, Matthew Johnson-Roberson, Tucker Hermans	V-PRISM: Probabilistic Mapping of Unknown Tabletop Scenes.	CoRR	2024	DBLP DOI BibTeX RDF
13	Daniel T. Fokum, Zaria Chen Shui, Kerene Wright, Orr Paradise, Gunjan Mansingh, Daniel Coore	A High School Camp on Algorithms and Coding in Jamaica.	CoRR	2024	DBLP DOI BibTeX RDF
13	Yash Shukla, Tanushree Burman, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov	Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents.	CoRR	2024	DBLP DOI BibTeX RDF
13	Andrew Lowy, Jonathan R. Ullman, Stephen J. Wright 0001	How to Make the Gradients Small Privately: Improved Rates for Differentially Private Non-Convex Optimization.	CoRR	2024	DBLP DOI BibTeX RDF
13	Sophie Hanna Langbein, Mateusz Krzyzinski, Mikolaj Spytek, Hubert Baniecki, Przemyslaw Biecek, Marvin N. Wright	Interpretable Machine Learning for Survival Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
13	Lorenzo Venturini, Samuel Budd, Alfonso Farruggia, Robert Wright, Jacqueline Matthew, Thomas G. Day, Bernhard Kainz, Reza Razavi, Joseph V. Hajnal	Whole-examination AI estimation of fetal biometrics from 20-week ultrasound scans.	CoRR	2024	DBLP DOI BibTeX RDF
13	Charles Dickens, Changyu Gao, Connor Pryor, Stephen J. Wright 0001, Lise Getoor	Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning.	CoRR	2024	DBLP DOI BibTeX RDF
13	Russell Davey, Md. Asif Iqbal, Paul Wright 0003	ZR 400 Gbit/s and 800 Gbit/s use cases, trials, deployments, and future prospects [Invited].	J. Opt. Commun. Netw.	2024	DBLP DOI BibTeX RDF
13	Thomas Bailey, Fadi A. Thabtah, Marcus Wright, Duy Anh Tran	FoodKnight: a mobile educational game and analyses for obesity awareness of children.	Int. J. Medical Eng. Informatics	2024	DBLP DOI BibTeX RDF
13	Jagannath Devkota, David W. Greve, Nathan Diemler, Richard Pingree, Ruishu F. Wright	An Impedance-Loaded Surface Acoustic Wave Corrosion Sensor for Infrastructure Monitoring.	Sensors	2024	DBLP DOI BibTeX RDF
13	Jacqueline Matthew, Alena Uus, Leah De Souza, Robert Wright, Abi Fukami-Gartner, Gema Priego, Carlo Saija, Maria Deprez, Alexia Egloff Collado, Jana Hutter, Lisa Story, Christina Malamateniou, Kawal S. Rhode, Joseph V. Hajnal, Mary A. Rutherford	Craniofacial phenotyping with fetal MRI: a feasibility study of 3D visualisation, segmentation, surface-rendered and physical models.	BMC Medical Imaging	2024	DBLP DOI BibTeX RDF