5623 search results - page 73 / 1125 » Incremental Mechanism Design |
82
Voted
IUI
2004
ACM
15 years 6 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
125
Voted
ISPD
1999
ACM
15 years 4 months ago
1999
ACM
In this paper, we consider delay optimization in multilayer detailed routing. Given a detailed routing by some detailed router, we iteratively improve the delays of critical nets ...
114
click to vote
AIEDAM
2008
15 years 21 days ago
2008
This paper discusses the application of genetic programming to the synthesis of compound two-dimensional kinematic mechanisms, and benchmarks the results against one of the classi...
105
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
76
Voted
FAC
2008
15 years 19 days ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...