2455 search results - page 267 / 491 » Graphical abstract help |
119
Voted
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
147
click to vote
WAPCV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Selective attention shift can help neural networks learn invariance. We describe a method that can produce a network with invariance to changes in visual input caused by ...
123
click to vote
ATS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract: As a result of variations in the fabrication process, different memory components are produced with different operational characteristics, a situation that complicates th...
139
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
125
Voted
SIGDOC
2003
ACM
15 years 10 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...