Sciweavers

4761 search results - page 535 / 953
» Generalizing Boundary Points
Sort
View
162
Voted
JELIA
2004
Springer
16 years 7 days ago
Modelling Communicating Agents in Timed Reasoning Logics
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
Natasha Alechina, Brian Logan, Mark Whitsey
KR
2004
Springer
16 years 7 days ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
ECCV
2010
Springer
16 years 6 days ago
Visibility Subspaces: Uncalibrated Photometric Stereo with Shadows
Photometric stereo relies on inverting the image formation process, and doing this accurately requires reasoning about the visibility of light sources with respect to each image po...
185
Voted
HICSS
2003
IEEE
106views Biometrics» more  HICSS 2003»
16 years 5 days ago
An Alternative View of Knowledge Discovery
Inductive representation of conditional knowledge means to complete knowledge appropriately and can be looked upon as an instance of quite a general representation problem. The cr...
Christoph Beierle, Gabriele Kern-Isberner
HLK
2003
IEEE
16 years 4 days ago
Reconstruction of Objects with Jagged Edges through Rao-Blackwellized Fitting of Piecewise Smooth Subdivision Curves
In some applications objects are known to have nonsmooth or “jagged” edges, which are not well approximated by smooth curves. We use subdivision curves as a simple but flexib...
Michael Kaess, Frank Dellaert