Sciweavers

2853 search results - page 47 / 571
» Finding related tables
Sort
View
CVPR
2003
IEEE
15 years 5 days ago
An Efficient Solution to the Five-Point Relative Pose Problem
An efficient algorithmic solution to the classical five-point relative pose problem is presented. The problem is to find the possible solutions for relative camera motion between ...
David Nistér
ISSTA
2000
ACM
14 years 2 months ago
Finding bugs with a constraint solver
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
Daniel Jackson, Mandana Vaziri
KCAP
2005
ACM
14 years 3 months ago
CORDER: COmmunity relation discovery by named entity recognition
We present a text mining method called CORDER [4] which discovers social networks from an organization’s documents. CORDER finds relations between a target named entity and othe...
Jianhan Zhu, Alexandre L. Gonçalves, Victor...
ECCC
2000
113views more  ECCC 2000»
13 years 10 months ago
Candidate One-Way Functions Based on Expander Graphs
Abstract. We suggest a candidate one-way function using combinatorial constructs such as expander graphs. These graphs are used to determine a sequence of small overlapping subsets...
Oded Goldreich

Book
1569views
15 years 10 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki