894 search results - page 143 / 179 » Optimizations for LTL Synthesis |
83
Voted
GECCO
2005
Springer
15 years 4 months ago
2005
Springer
To help chemists design new drugs, we created a tool that uses interactive evolution to design drug molecules, the “Molecule Evoluator”. In contrast to most other evolutionary...
127
click to vote
ICIAP
2005
ACM
15 years 4 months ago
2005
ACM
This paper shows how Markovian segmentation algorithms used to solve well known computer vision problems such as motion estimation, motion detection and stereovision can be signi...
IWQOS
2004
Springer
15 years 4 months ago
2004
Springer
— The Internet still lacks adequate support for QoS applications with real-time requirements. In great part, this is due to the fact that provisioning of end-to-end QoS to traf...
KES
2004
Springer
15 years 4 months ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...
LCN
2003
IEEE
15 years 4 months ago
2003
IEEE
Optoelectronic integrated circuits can support thousands of integrated optical laser diodes and photodetectors bonded to a high-performance CMOS substrate, and can be used in the ...