|
Bane |
John |
1985 |
Causal monitor generation for complex systems |
Rieger |
|
Baker |
Patrick |
2005 |
New Atoms for Structure from Motion: Theory and Application |
John Aloimonos |
|
Bailey |
John |
1992 |
A Component Factory for Software Source Code Re-Engineering and Reuse |
Victor Basili |
|
Bail |
William |
1985 |
Algorithm Structure Analysis Using Hierarchical Abstract Computers |
Marvin Zelkowitz |
|
Bagdouri |
Mossaab |
2017 |
Cross-Platform Question Answering in Social Networking Services |
Doug Oard |
|
Baden |
Randolph |
2012 |
Sharing Private Data Over Public Systems |
Bobby Bhattacharjee |
|
Bach |
Stephen |
2015 |
Hinge-Loss Markov Random Fields and
Probabilistic Soft Logic:
A Scalable Approach to Structured
Prediction |
Lise Getoor |
|
Ayhan |
Samet |
2019 |
Airspace Planning For Optimal Capacity, Efficiency, And Safety Using Analytics |
Hanan Samet |
|
Ayewah |
Nathaniel |
2010 |
Static Analysis in Practice |
William Pugh |
|
Ayan |
Necip |
2005 |
Combining Linguistic and Machine Learning Techniques for Word Alignment |
Bonnie Dorr |
|
Auslander |
Noam |
2018 |
Genome Wide Discovery of Disease Modifiers |
|
|
Au |
Tsz-Chiu |
2008 |
Synthesis of Strategies for Non-Zero-Sum Repeated Games |
Dana Nau |
|
Atlee |
Joanne |
1992 |
Automated Analysis of Software Requirements |
James Purtilo |
|
Atalay-Satoglu |
Fatma |
2004 |
Spatial Decompositions for Geometric Interpolation and Efficient Rendering |
David Mount |
|
Asadi |
Nima |
2013 |
Multi-Stage Search Architectures for Streaming Documents |
|
|
Arya |
Sunil |
1995 |
Nearest neighbor searching and applications |
David Mount |
|
Arnold |
Robert |
1983 |
On the Generation and Use of Quantitative Criteria for Assessing Software Maintenance Qualit |
Raymond T. Yeh |
|
Armentrout |
Steven |
1994 |
A Computational Treory of Map Reorganization |
James Reggia |
|
Arisha |
Khaled |
2001 |
Fault management in networks using passive testing |
|
|
Aris |
Aleks |
2008 |
Visualizing and Exploring Networks Using Semantic Substrates |
Ben Shneiderman |
|
Aref |
Walid |
1993 |
Query processing and optimization in spatial databases |
Hanan Samet |
|
Apostolopoulos |
George |
1999 |
Cost and performance trade-offs of quality of service routing |
Satish Kumar Tripathi |
|
Apon |
Daniel |
2017 |
Frontiers In Lattice Cryptography And Program Obfuscation |
Jonathan Katz |
|
Antoy |
Sergio |
1987 |
Automatically provable specifications |
John D. Gannon |
|
Angiuoli |
Samuel |
2011 |
Methods for High-Throughput Comparative Genomics and
Distributed Sequence Analysis |
Steven Salzberg |
|
Ang |
Chuan |
1989 |
Analysis and Applications of Hierarchical Data Structures |
Hanan Samet |
|
Andrade |
Henrique |
2003 |
Multiple Query Optimization Support for Data Analysis Applications |
Joel Saltz |
|
Andersen |
Carl |
2008 |
Using Join Networks to Compute Satisfiability |
William Gasarch |
|
Almodaresi |
Fatemehalsadat |
2020 |
ALGORITHMS AND DATA STRUCTURES FOR INDEXING, QUERYING, AND ANALYZING LARGE COLLECTIONS OF SEQUENCING DATA IN THE PRESENCE OR ABSENCE OF A REFERENCE |
Rob Patro |
|
Almazan |
Christian |
2010 |
Rover: Architectural Support for Exposing and Using
Context |
Ashok Agrawala |
|
Alford |
Ronald |
2014 |
Search Complexities for HTN Planning |
Dana Nau |
|
Alborzi |
Houman |
2006 |
Geometric Issues in Spatial Indexing |
Hanan Samet |
|
Alaei |
Saeed |
2012 |
Mechanism Design with General Utilities |
Samir Khuller |
|
Akyurek |
Sedat |
1994 |
Adaptive disk management |
Salem |
|
Aksoy |
Demet |
2000 |
On-demand data broadcast for large-scale and dynamic applications |
Michael J. Franklin |
|
Akgul |
Omer |
2023 |
Characterizing And Improving Mental Models Of Secure Communication Tools |
Michelle Mazurek |
|
Ahuja |
Narendra |
1979 |
Connectedness Properties of Bombing Patterns |
Azriel Rosenfeld |
|
Ahn |
Sungjoon |
2001 |
Adapting to Route-demand and Mobility (ARM) in ad hoc network routing |
A. Udaya Shankar |
|
Ahmed |
Ejaz |
2015 |
Understanding Objects in the
Visual World |
Larry Davis |
|
Ahmadi |
Saba |
2021 |
Social Aspects of Algorithms: Fairness, Diversity, and Resilience to Strategic Behavior |
Samir Khuller |
|
Agre |
John |
1981 |
Approximate Solutions to Queuing Networks with State Dependent Parameters |
Ashok Agrawala |
|
Agre |
Jon |
1981 |
Approximate Solutions to Queuing Networks with State Dependent Parameters |
Ashok Agrawala |
|
Agrawal |
Gagan |
1996 |
Interprocedural code placement techniques and their applications |
Joel Saltz |
|
Agrawal |
Motilal |
2002 |
Three dimensional reconstruction from multiple images |
Larry Davis |
|
Agrawal |
Mudit |
2011 |
Adaptive Algorithms for Automated Processing of Document Images |
Larry Davis |
|
Agrawal |
Sweta |
2023 |
COMPLEXITY CONTROLLED NATURAL LANGUAGE GENERATION |
Marine Carpuat |
|
Aggarwal |
Gaurav |
2008 |
Recognizing Human Faces: Physical Modeling and Pattern
Classification |
|
|
Agarwal |
Arvind |
2012 |
Distance Geometry: Application in Data Mining and Machine Learning |
Hal Daumé III |
|
Adelman |
Ross |
2016 |
Fast and Accurate Boundary Element Methods in Three
Dimensions |
Ramani Duraiswami |
|
Adelfio |
Marco |
2015 |
Automated Structural and Spatial
Comprehension of Data Tables |
Hanan Samet |