5550 search results - page 845 / 1110 » Different Approaches to Proof Systems |
197
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
The increasing amount of data on the Semantic Web offers opportunities for semantic search. However, formal query hinders the casual users in expressing their information need as t...
173
click to vote
LREC
2008
15 years 8 months ago
2008
Automatic Term recognition (ATR) is a fundamental processing step preceding more complex tasks such as semantic search and ontology learning. From a large number of methodologies ...
175
click to vote
CMS
2006
15 years 8 months ago
2006
Abstract. There are a number of attacker models in the area of anonymous communication. Most of them are either very simplified or pretty abstract - therefore difficult to generali...
165
click to vote
CSREASAM
2006
15 years 8 months ago
2006
In this paper we re-open a 25 years old question of joint encryption and error-correction coding, named here as Cryptcoding. Cryptcoding is a procedure in which encryption/decrypti...
164
Voted
FLAIRS
2006
15 years 8 months ago
2006
We took an innovative approach to service level management for network enterprise systems by using integrated monitoring, diagnostics, and adaptation services in a service-oriente...