Sciweavers

2117 search results - page 242 / 424
» A Metadata Model for Capturing Presentations
Sort
View
RSCTC
2000
Springer
122views Fuzzy Logic» more  RSCTC 2000»
15 years 8 months ago
Computer Vision Using Fuzzy Logic for Robot Manipulator
: This paper presents a Lab. implementation of a computer vision using fuzzy models for pattern recognition for the detection of boundaries in images obtained through a camera inst...
Adriano Breunig, Haroldo R. de Azevedo, Edilberto ...
CSFW
2008
IEEE
15 years 6 months ago
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
Michael Backes, Catalin Hritcu, Matteo Maffei
ACL
2007
15 years 5 months ago
Generating a Table-of-Contents
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...
S. R. K. Branavan, Pawan Deshpande, Regina Barzila...
FLAIRS
2003
15 years 5 months ago
Using Bayesian Networks for Cleansing Trauma Data
Medical data is unique due to its large volume, heterogeneity and complexity. This necessitates costly active participation of medical domain experts in the task of cleansing medi...
Prashant Doshi, Lloyd Greenwald, John R. Clarke
IWFM
1998
15 years 5 months ago
Motivation for a New Semantics for Vagueness
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
Mark Changizi