Sciweavers

7326 search results - page 105 / 1466
» Methods for modalities 3
Sort
View
146
Voted
TABLEAUX
2000
Springer
15 years 7 months ago
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
Alberto Artosi, Guido Governatori, Antonino Rotolo
COLING
1996
15 years 5 months ago
Anaphora Resolution of Japanese Zero Pronouns with Deictic Reference
This paper proposes a method to resolve the reference of deictic Japanese zero pronouns which can be implemented in a practical machine translation system. This method focuses on ...
Hiromi Nakaiwa, Satoshi Shirai
BIOCOMP
2006
15 years 5 months ago
Surgeon's Magic Wand: A Screen Pointing Interactive Method
: A novel, non-touch, screen pointing "magic wand" interface is proposed for surgeon's use in an environment requiring simultaneous display of several patients'...
Naren Vira, Shaleen Vira
ICPR
2008
IEEE
15 years 10 months ago
Linear representation of discrete surfaces in 3D
A method to compute a linear medial representation of a complex surface in the 3D discrete space is presented. The method involves voxel classification, surface labeling, anchor p...
Carlo Arcelli, Gabriella Sanniti di Baja, Luca Ser...
126
Voted
IROS
2007
IEEE
160views Robotics» more  IROS 2007»
15 years 10 months ago
Outdoor visual path following experiments
Abstract— In this paper the performance of a topologicalmetric visual path following framework is investigated in different environments. The framework relies on a monocular came...
Albert Diosi, Anthony Remazeilles, Sinisa Segvic, ...