8154 search results - page 1456 / 1631 » Understanding changes in use cases: A case study |
151
click to vote
ICCCN
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract—The current system design of mobile ad hoc networks (MANET), derived from their traditional fixed counterparts, cannot fully meet the requirements inherent to the dynam...
165
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
179
click to vote
HPCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Over the past few years there has been increased interest in building custom computing machines (CCMs) as a way of achieving very high performance on specific problems. The advent...
164
click to vote
SIP
2003
15 years 7 months ago
2003
Changing resolution of images is a common operation. It is also common to use simple, i.e., small interpolation kernels satisfying some ”smoothness” qualities that are determi...
173
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Based in part on observations about the incremental nature of most state changes in biological systems, we introduce the idea of Memory with Memory in Genetic Programming (GP), wh...