5550 search results - page 652 / 1110 » Different Approaches to Proof Systems |
144
click to vote
SAINT
2003
IEEE
16 years 13 days ago
2003
IEEE
Large-scale distributed environments, such as the Internet, achieve advantages in exploiting software agents for applications, thanks to their autonomy in carrying out tasks. In s...
184
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a neural network approach to the problem of nding the dialogue act for a given utterance. So far only symbolic, decision tree and statistical approaches were ut...
147
click to vote
CIKM
1997
Springer
15 years 11 months ago
1997
Springer
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
189
click to vote
SUTC
2010
IEEE
15 years 11 months ago
2010
IEEE
—To date many activity spotting approaches are static: once the system is trained and deployed it does not change anymore. There are substantial shortcomings of this approach, sp...
212
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Complementary security systems are widely deployed in networks to protect digital assets. Alert correlation is essential to understanding the security threats and taking appropria...