1.1k citations
- Menlo SchoolUS21 papers
- Stanford UniversityUS9 papers
- University of California, BerkeleyUS9 papers
- University of PennsylvaniaUS7 papers
- Michigan State UniversityUS6 papers
- Space Telescope Science InstituteUS6 papers
- University College LondonGB6 papers
- University of California San DiegoUS6 papers
- University of Illinois Urbana-ChampaignUS6 papers
- Oak Ridge National LaboratoryUS5 papers
- Purdue University West LafayetteUS5 papers
- Brown UniversityUS4 papers
5 papers · 1 filter
Axiomatic constraint systems for proof search modulo theories
Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand +2
Goal-directed proof search in first-order logic uses meta-variables to delay the choice of witnesses; substitutions for such variables are produced when closing proof-tree branches…
Synthesis of a simple self-stabilizing system
Adrià Gascón, Ashish Tiwari
With the increasing importance of distributed systems as a computing paradigm, a systematic approach to their design is needed. Although the area of formal verification has made en…
Geometric Polynomial Constraints in Higher-Order Graph Matching
Mayank Bansal, Kostas Daniilidis
Correspondence is a ubiquitous problem in computer vision and graph matching has been a natural way to formalize correspondence as an optimization problem. Recently, graph matching…
Generalized effective-medium theory for metamaterials
Brian A. Slovick, Zhi Gang Yu, Srini Krishnamurthy
We present an effective-medium model for calculating the frequency-dependent effective permittivity and permeability of metamaterial composites containing spherical p…
ARSENAL: Automatic Requirements Specification Extraction from Natural Language
Shalini Ghosh, Daniel Elenius, Wenchao Li +3
Requirements are informal and semi-formal descriptions of the expected behavior of a complex system from the viewpoints of its stakeholders (customers, users, operators, designers,…