3521 search results - page 518 / 705 » Algorithmic Control in Concurrent Computations |
135
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
170
Voted
ISMB
2000
15 years 5 months ago
2000
Several microarray technologies that monitor the level of expression of a large number of genes have recently emerged. Given DNA-microarray data for a set of cells characterized b...
123
Voted
VLSID
2009
IEEE
16 years 4 months ago
2009
IEEE
Synthesis of reversible logic has become a very important research area. In recent years several algorithms ? heuristic as well as exact ones ? have been introduced in this area. ...
128
Voted
EWSN
2008
Springer
16 years 3 months ago
2008
Springer
We consider the problem of determining the transmission power assignment that maximizes the lifetime of a data-gathering wireless sensor network with stationary nodes and static tr...
156
Voted
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Despite their success as optimization methods, evolutionary algorithms face many difficulties to design artifacts with complex structures. According to paleontologists, living...