10568 search results - page 264 / 2114 » Computer Intelligence and Formalization |
132
Voted
IWFM
1998
15 years 4 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
137
Voted
IJNSEC
2008
15 years 3 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
147
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
134
click to vote
ICINCO
2004
15 years 4 months ago
2004
For half a century, artificial intelligence researchers have focused on giving machines linguistic and mathematical-logical reasoning abilities, modeled after the classic linguist...
146
click to vote
SPIESR
2001
15 years 4 months ago
2001
In this paper, we examine emerging frontiers in the evolution of content-based retrieval systems that rely on an intelligent infrastructure. Here, we refer to intelligence as the ...