Sciweavers

3408 search results - page 206 / 682
» Logic, language, information and computation
Sort
View
OTM
2007
Springer
16 years 22 days ago
Parallelizing Tableaux-Based Description Logic Reasoning
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
Thorsten Liebig, Felix Müller
WILF
2005
Springer
86views Fuzzy Logic» more  WILF 2005»
16 years 2 days ago
Intelligent Track Analysis on Navy Platforms Using Soft Computing
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
Robert Richards, Richard Stottler, Ben Ball, Cosku...
ACMSE
2009
ACM
16 years 1 months ago
AVARI: animated virtual agent retrieving information
Avari is a virtual receptionist for the Computer Science department at The University of North Carolina at Charlotte. Her components include background subtraction to detect a per...
Lauren Cairco, Dale-Marie Wilson, Vicky Fowler, Mo...
PLDI
2006
ACM
16 years 17 days ago
Refactoring programs to secure information flows
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
Scott F. Smith, Mark Thober
FSKD
2007
Springer
354views Fuzzy Logic» more  FSKD 2007»
16 years 23 days ago
Using Fuzzy-Word Correlation Factors to Compute Document Similarity Based on Phrase Matching
One of the Web information Retrieval (IR) problems these days is to identify redundant information that exist in (replicated) Web documents. These documents can easily be found in...
Jun won Lee, Yiu-Kai Ng