2722 search results - page 80 / 545 » Automating Language Evolution |
100
click to vote
MSO
2003
15 years 1 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
CADE
2003
Springer
16 years 5 days ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
CEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Described are new approaches for evaluating computer program representations for use in automated search methodologies such as the evolutionary design of software. Previously, prog...
109
click to vote
ICCBR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Process-aware information systems (PAIS) allow coordinating the execution of business processes by providing the right tasks to the right people at the right time. In ord...
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Many challenges remain in the development of tactical planning systems that will enable automated, cooperative replanning of routes and mission assignments for multiple unmanned gr...