894 search results - page 157 / 179 » Optimizations for LTL Synthesis |
83
Voted
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
The use of machine learning techniques to automatically analyse data for information is becoming increasingly widespread. In this paper we examine the use of Genetic Programming a...
92
Voted
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents an approach to analyse the behaviours of teams of autonomous agents who work together to achieve a common goal. The agents in a team are evolved together using...
109
Voted
SOCO
2007
Springer
15 years 5 months ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
79
Voted
WABI
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...
88
Voted
IISWC
2006
IEEE
15 years 5 months ago
2006
IEEE
Many embedded real world applications are intellectual property, and vendors hesitate to share these proprietary applications with computer architects and designers. This poses a ...