85 search results - page 13 / 17 » Automated HDL Generation: Comparative Evaluation |
123
click to vote
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
102
Voted
GEOINFORMATICA
2002
14 years 11 months ago
2002
The generation of better label placement configurations in maps is a problem that comes up in automated cartographic production. The objective of a good label placement is to displ...
102
click to vote
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Despite the success of the BDI approach to agent teamwork, initial role allocation (i.e. deciding which agents to allocate to key roles in the team) and role reallocation upon fai...
CHI
2004
ACM
16 years 21 hour ago
2004
ACM
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...
80
Voted
DSN
2006
IEEE
15 years 5 months ago
2006
IEEE
Delays and errors are the frequent consequences of people having difficulty with a user interface. Such delays and errors can result in severe problems, particularly for mission-...