4555 search results - page 862 / 911 » Deductive Algorithmic Knowledge |
KDD
2005
ACM
14 years 3 months ago
2005
ACM
We propose a new text mining system which extracts characteristic contents from given documents. We define Key semantics as characteristic sub-structures of syntactic dependencie...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
IUI
2004
ACM
14 years 3 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
MM
2004
ACM
14 years 3 months ago
2004
ACM
Motion information is a powerful cue for visual perception. In the context of video indexing and retrieval, motion content serves as a useful source for compact video representati...