2539 search results - page 163 / 508 » Debugging Method Names |
120
Voted
VMV
2001
15 years 4 months ago
2001
In many applications surfaces containing a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is gi...
111
Voted
IJCAI
1997
15 years 4 months ago
1997
This paper investigates the evaluation method of decision procedures for multi-modal logic proposed by Giunchiglia and Sebastiani as an adaptation from the evaluation method of Mi...
88
Voted
AAAI
1990
15 years 3 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
154
Voted
ICANN
2010
Springer
15 years 3 months ago
2010
Springer
So-called Physical Unclonable Functions are an emerging, new cryptographic and security primitive. They can potentially replace secret binary keys in vulnerable hardware systems an...
115
Voted
ICIP
2009
IEEE
15 years 11 days ago
2009
IEEE
We present a new method of computing invariants in videos captured from different views to achieve view-invariant action recognition. To avoid the constraints of collinearity or c...