2867 search results - page 177 / 574 » On Interactive Evolution Strategies |
169
click to vote
AICOM
2010
15 years 6 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
170
click to vote
COORDINATION
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
126
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
When using relevance feedback for the interactive categorization of images, the strategy employed by the system to select images to be presented to the user is of paramount import...
147
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
We present results of a study that considers (a) gestures outside the context of a specific implementation and (b) their use in supporting secondary, rather than primary tasks in ...
169
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Interactive access control allows a server to compute and communicate on the fly the missing credentials to a client and to adapt its responses on the basis of presented and decli...