22 search results - page 5 / 5 » A Tool Set for deciding Behavioral Equivalences |
GPCE
2008
Springer
13 years 6 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
ECCC
2007
13 years 5 months ago
2007
Is it possible for two intelligent beings to communicate meaningfully, without any common language or background? This question has interest on its own, but is especially relevant...