22 search results - page 5 / 5 » A Tool Set for deciding Behavioral Equivalences |
86
Voted
GPCE
2008
Springer
15 years 21 days 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...
129
click to vote
ECCC
2007
14 years 11 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...