Dunn |
Stanley |
1985 |
Recovering the orientation of textured surfaces |
Larry Davis |
Dunne |
Cody |
2013 |
Measuring and Improving the Readability of Network Visualizations |
Ben Shneiderman |
Dunsmore |
Hubert |
1978 |
The influence of programming factors on programming complexity |
John D. Gannon |
Duric |
Zoran |
1995 |
Geometric methods in visual motion analysis |
Azriel Rosenfeld |
Dyer |
Charles |
1979 |
Augmented cellular automata for image analysis |
Azriel Rosenfeld |
Eastman |
Roger |
1990 |
Using disparity functionals for stereo correspondence and reconstruction |
Larry Davis |
Eaton |
Cyntrica |
2007 |
A Framework for Detecting, Diagnosing, and Correcting Environment-Specific Faults in Web Applications |
|
Ecins |
Aleksandrs |
2017 |
Seeing Behind the Scene: Using Symmetry to Reason About Objects in Cluttered Environments |
John Aloimonos |
Ehrlich |
Max Donohue |
2022 |
The First Principles of Deep Learning and Compression |
Larry Davis, Abhinav Shrivastava |
Ehrlich |
Max Donohue |
2022 |
The First Principles of Deep Learning and Compression |
Larry Davis, Abhinav Shrivastava |
Ehsani Banafati |
Soheil |
2017 |
Online Decision Making via Prophet Setting |
Mohammad Hajiaghayi |
Eidelman |
Vladimir |
2013 |
Improved Online Learning and Modeling for Feature-Rich Discriminative Machine Translation |
Philip Resnik |
El-Alfy |
Hazem |
2009 |
Techniques for Video Surveillance: Automatic
Video Editing and Target Tracking |
Larry Davis |
Elgammal |
Ahmed |
2002 |
Efficient nonparametric kernel density estimation for real time computer vision |
Larry Davis |
Elsaka |
Ethar |
2016 |
Automated Software Debugging Using Hybrid
Static/Dynamic Analysis |
|
Elsayed |
Tamer |
2009 |
Identity Resolution in Email Collections |
Doug Oard |
Elsharkawy |
Sameh |
2001 |
Dynamic Real-Time Scheduling in Distributed Environment |
Ashok Agrawala |
Elsharnouby |
Tamer |
2005 |
SeSFJava: A Framework for Design and Assertion-Checking for Concurrent Systems |
A. Udaya Shankar |
Eom |
Hyeonsang |
2003 |
Improving link-state routing |
Ashok Agrawala |
Erol |
Kutluhan |
1995 |
Hierarchical Task-Network Planning Systems: Formalization, Analysis, and Implementation |
Dana Nau |
Esfandiari |
Hossein |
2017 |
Allocations in Large Markets |
Mohammad Hajiaghayi |
Esmaeili |
Seyed Abdulaziz |
2023 |
On Algorithms, Fairness, and Incentives |
|
Esperanca |
Claudio |
1995 |
Orthogonal objects and their application in spatial databases |
Hanan Samet |
Evett |
Matthew |
1994 |
PARKA: A System for Massively Parallel Knowledge Representation |
Hendler |
Fails |
Jerry |
2009 |
Mobile Collaboration for Young Children |
Allison Druin |
Fakhraei |
Seyed Shobeir |
2017 |
Collective Multi-relational Network Mining |
Lise Getoor |
Farach-Colton |
Martín |
1991 |
Efficient Replacement Strategies in the Memory Hierarchy |
Amihood Amir |
Farhadi |
Alireza |
2022 |
Memory-Restricted and Secure Algorithms For Large Datasets |
Mohammad Hajiaghayi |
Farrell |
Ryan |
2011 |
Learning Visual Patterns: Imposing Order on Objects,
Trajectories and Networks |
Larry Davis |
Fayzullin |
Marat |
2004 |
Algebraic Multimedia: Theory and Implementation |
V.S. Subrahmanian |
Fekete |
Gyorgy |
1988 |
Object recognition using property spheres |
Larry Davis |
Feng |
Yushan |
2023 |
|
Amitabh Varshney |
Feng |
Shi |
2021 |
Towards Human-AI Cooperation on Sequential Decision Making Problems |
Jordan Boyd-Graber |
Fernandez Redonet |
Jose |
1994 |
Disjunctive Deductive Databases |
|
Ferreira |
Renato |
2001 |
Compiler Techniques for Data Parallel Applications using Very large Multi-Dimensional Datasets |
Joel Saltz |
Filimonov |
Denis |
2011 |
Decision Tree-Based Syntactic Language Modeling |
Philip Resnik |
Fischer |
Jeffrey |
1996 |
Compositional verification by model checking for counter-examples |
Richard Gerber |
Fishman |
Daniel |
1973 |
Experiments with a Resolution-Based Deductive Question-Answering System and a Proposed Clause Representation for Parallel Search |
|
Flake |
Gary |
1993 |
Nonmonotonic activation functions in multilayer perceptrons |
James Reggia |
Flores Velazco |
Alejandro |
2022 |
Algorithms and Data Structures for Faster Nearest-Neighbor Classification |
David Mount |
Fonseca |
Guilherme |
2007 |
Approximate Range Searching in the Absolute Error Model |
David Mount |
Fontana |
Peter |
2014 |
Towards A Unified Theory of Timed Automata |
|
Ford |
Gary |
1977 |
An investigation of embeddings of cellular spaces for cellular automata |
Edmundson |
Forman |
Ira |
1979 |
On the decomposition of programs into primes |
Mills |
Fouche |
Sandro |
2010 |
Large Scale Automated Test Scheduling and Execution |
Adam Porter |
Frangiadakis |
Nikolaos |
2012 |
Connectivity and Data Transmission over Wireless Mobile Systems |
Nicholas Roussopoulos |
Frederickson |
Greg |
1977 |
Approximation algorithms for NP-hard routing problems |
Matthew Hecht |
Friedland |
Noah |
1993 |
Utilizing energy function and description length minimization for integrated delineation, representation, and classification of objects |
Azriel Rosenfeld |
Friedler |
Sorelle |
2010 |
Geometric Algorithms for Objects in Motion |
David Mount |
Fu |
Hong Hao |
2021 |
THE MEMBERSHIP PROBLEM FOR CONSTANT-SIZED QUANTUM CORRELATIONS IS UNDECIDABLE |
Andrew Childs |