531 search results - page 17 / 107 » An Argumentation-Based Approach for Practical Reasoning |
PAKM
2008
15 years 1 months ago
2008
With a rich variety of forms and types, digital resources are complex data objects. They grows fast in volume on the Web, but hard to be classified efficiently. The paper presents ...
IQ
2001
15 years 1 months ago
2001
: Corporate household data not only refers to the strict hierarchical structure about and within the corporation, but also the variety of inter-organizational relationships. It is ...
EMNLP
2010
14 years 9 months ago
2010
Linguistic Steganography is concerned with hiding information in natural language text. One of the major transformations used in Linguistic Steganography is synonym substitution. ...
OWLED
2008
15 years 1 months ago
2008
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
FMSD
2006
14 years 11 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...