6757 search results - page 919 / 1352 » Knowledge Analysis on Process Models |
156
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
126
Voted
COOPIS
2003
IEEE
15 years 10 months ago
2003
IEEE
Emerging Web standards promise a network of heterogeneous yet interoperable Web Services. Web Services would greatly simplify the development of many kinds of information agents a...
124
click to vote
CRYPTO
2003
Springer
15 years 10 months ago
2003
Springer
NTRUEncrypt is unusual among public-key cryptosystems in that, with standard parameters, validly generated ciphertexts can fail to decrypt. This affects the provable security prop...
167
click to vote
WISE
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, we present a web-based architecture of a spatiotemporal video data management system, which can accommodate a wide range of activities by various types of users. Be...
131
click to vote
ECAI
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...