Sciweavers

1529 search results - page 238 / 306
» On the Construction of Ontologies based on Natural Language ...
Sort
View
100
Voted
CVPR
2008
IEEE
16 years 2 months ago
Utilizing semantic word similarity measures for video retrieval
This is a high level computer vision paper, which employs concepts from Natural Language Understanding in solving the video retrieval problem. Our main contribution is the utiliza...
Yusuf Aytar, Mubarak Shah, Jiebo Luo
AUSAI
2004
Springer
15 years 6 months ago
Domain-Adaptive Conversational Agent with Two-Stage Dialogue Management
The conversational agent understands and provides users with proper information based on natural language. Conventional agents based on pattern matching have much restriction to ma...
Jin-Hyuk Hong, Sung-Bae Cho
126
Voted
LFCS
2009
Springer
15 years 7 months ago
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
Arnon Avron, Anna Zamansky
80
Voted
ESORICS
2007
Springer
15 years 6 months ago
On the Privacy of Concealed Data Aggregation
A formal treatment to the privacy of concealed data aggregation (CDA) is given. While there exist a handful of constructions, rigorous security models and analyses for CDA are stil...
Aldar C.-F. Chan, Claude Castelluccia
94
Voted
SAS
1993
Springer
104views Formal Methods» more  SAS 1993»
15 years 4 months ago
Strictness Properties of Lazy Algebraic Datatypes
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
P. N. Benton