1.1k citations
- University of Electronic Science and Technology of ChinaCN28 papers
- Shanghai Jiao Tong UniversityCN25 papers
- Stockholm UniversitySE21 papers
- Beijing Computational Science Research CenterCN19 papers
- University of the Basque CountryES19 papers
- IkerbasqueES18 papers
- National Key Laboratory of Science and Technology on CommunicationsCN17 papers
- Zhejiang UniversityCN17 papers
- Columbia UniversityUS15 papers
- City University of New YorkUS12 papers
- Massachusetts Institute of TechnologyUS12 papers
- University of California, BerkeleyUS12 papers
18 papers · 1 filter
3D Interest Point Detection via Discriminative Learning
Leizer Teran, Philippos Mordohai
The task of detecting the interest points in 3D meshes has typically been handled by geometric methods. These methods, while greatly describing human preference, can be ill-equippe…
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
François Dupressoir, Andrew D. Gordon, Jan Jürjens +1
We describe how to verify security properties of C code for cryptographic protocols by using a general-purpose verifier. We prove security theorems in the symbolic model of cryptog…
A Utility Theory Based Interactive Approach to Robustness in Linear Optimization
Mehdi Karimi, Somayeh Moazeni, Levent Tuncel
We treat uncertain linear programming problems by utilizing the notion of weighted analytic centers and notions from the area of multi-criteria decision making. After introducing o…
An Example of an Automatic Graph of Intermediate Growth
Alexei Miasnikov, Dmytro Savchuk
We give an example of a 4-regular infinite automatic graph of intermediate growth. It is constructed as a Schreier graph of a certain group generated by 3-state automaton. The ques…
Networks of Innovation in 3D Printing
Harris Kyriakou, Steven Englehardt, Jeffrey V. Nickerson
Innovation inside companies is difficult to see. But an emerging online community of inventors who publicly post 3D CAD drawings of their work provide a way to observe - and perhap…
Idea Inheritance, Originality, and Collective Innovation
Harris Kyriakou, Jeffrey V. Nickerson
In order to create new products, inventors search and combine previous ideas. Few studies have examined the characteristics of search that lead to new products; most have focused o…