Sciweavers

IGPL
2008
116views more  IGPL 2008»
13 years 11 months ago
Modal Matters for Interpretability Logics
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later res...
Evan Goris, Joost J. Joosten
EUSFLAT
2007
14 years 28 days ago
Recent Advances in the Field of Left-continuous t-norms
The recent advances in the research of left-continuous t-norms is summarized in this talk. The main focus is on construction methods, geometric description, and structural charact...
Sándor Jenei
ICPR
2008
IEEE
14 years 6 months ago
A performance controllable octree construction method
The conventional octree construction method is implemented iteratively at consecutive subdivision levels. The resultant octree models at different subdivision levels contain quite...
Zen Chen, Hong-Long Chou, Wen-Chao Chen
ICCV
2005
IEEE
15 years 1 months ago
Detection of Concentric Circles for Camera Calibration
The geometry of plane-based calibration methods is well understood, but some user interaction is often needed in practice for feature detection. This paper presents a fully automa...
Guang Jiang, Long Quan