1722 search results - page 167 / 345 » Guided Genetic Programming |
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
CP
2003
Springer
14 years 1 months ago
2003
Springer
This paper aims to show that Constraint Programming can be an efficient technique to solve a well-known combinatorial optimization problem: the search for a maximum clique in a gra...
WISES
2003
13 years 9 months ago
2003
— Ubiquitous computing provides services to users, according to their current situation. Interactions with such programs are as implicit as possible. We find among the applicati...
SCM
1998
13 years 9 months ago
1998
Software Version Control Systems (VCSs) are used to store the versions of program source code created throughout the software development cycle. The traditional purpose of such sys...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...