Sciweavers

2565 search results - page 126 / 513
» Integrating Natural Language Processing and Knowledge Based ...
Sort
View
FMCAD
2000
Springer
15 years 6 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
MUC
1992
15 years 6 months ago
GE NLToolset: description of the system as used for MUC-4
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
George B. Krupka, Paul S. Jacobs, Lisa F. Rau, Loi...
RAM
2008
IEEE
163views Robotics» more  RAM 2008»
15 years 9 months ago
Reactive Gaze Control for Natural Human-Robot Interactions
Abstract—Nonverbal behavior during human-human close encounters is critical to the accomplishment of natural interaction. For this reason, humanoid robots trying to achieve natur...
Yasser F. O. Mohammad, Toyoaki Nishida
150
Voted
CG
2007
Springer
15 years 2 months ago
Storylines: Visual exploration and analysis in latent semantic spaces
Tasks in visual analytics differ from typical information retrieval tasks in fundamental ways. A critical part of a visual analytics is to ask the right questions when dealing wit...
Weizhong Zhu, Chaomei Chen
SIGMOD
2010
ACM
227views Database» more  SIGMOD 2010»
15 years 7 months ago
SecureBlox: customizable secure distributed data processing
We present SecureBlox, a declarative system that unifies a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speci...
William R. Marczak, Shan Shan Huang, Martin Braven...