2680 search results - page 441 / 536 » The topology of the independence complex |
114
click to vote
VC
2002
14 years 11 months ago
2002
Implicit surface modeling systems have been used since the mid-1980s for the generation of cartoon-like characters. Recently implicit models combined with constructive solid geome...
110
click to vote
MICS
2008
14 years 11 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
120
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...
103
click to vote
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
—The complexity of modern networked information systems, as well as all the defense-in-depth best practices, require distributed intrusion detection architectures relying on the ...
262
click to vote
PAMI
2010
14 years 10 months ago
2010
—This paper addresses the problem of self-validated labeling of Markov random fields (MRFs), namely to optimize an MRF with unknown number of labels. We present graduated graph c...