2681 search results - page 321 / 537 » Problem F |
178
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
150
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Coevolution has often been based on averaged outcomes, resulting in unstable evaluation. Several theoretical approaches have used archives to provide stable evaluation. However, t...
193
click to vote
BIRD
2008
Springer
15 years 8 months ago
2008
Springer
Our group has previously used machine learning techniques to develop computational systems to automatically analyse fluorescence microscope images and classify the location of the ...
140
click to vote
AIPS
2006
15 years 8 months ago
2006
We present techniques for incrementally managing schedules in domains where activities accrue quality as a function of the time and resources allocated to them and the goal is to ...
165
click to vote
NETWORKING
2000
15 years 7 months ago
2000
Abstract. Multimedia applications require the transmission of realtime streams over a network. These streams often exhibit variable bandwidth requirements, and require high bandwid...