10568 search results - page 239 / 2114 » Computer Intelligence and Formalization |
131
click to vote
DLT
2009
15 years 1 months ago
2009
A famous theorem of Kuratowski states that, in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a gi...
144
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
137
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
118
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Interpolation is a technique used to estimate the value of a function at a given location, assuming that the values of the function are known for surrounding locations. A Wireless...
122
click to vote
ITNG
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper is the second on a series of four papers and presents the functional systematization implementation specification of a subsystem with integrative function based on a Se...