3456 search results - page 444 / 692 » Algorithms for Interface Synthesis |
142
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
192
click to vote
GD
2003
Springer
15 years 11 months ago
2003
Springer
We address the new problem of puzzle layout as a new application of awing. We present two abstract models of puzzles, permutation puzzles and cyclic puzzles, which can be modeled a...
190
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
A novel and fast shape classification and regularization algorithm for on-line sketchy graphics recognition is proposed. We divided the on-line graphics recognition process into f...
153
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Evo Indent http://www.dcs.kcl.ac.uk/staff/W.Langdon/ evo_indent/ is a PHP web server based user driven genetic algorithm which finds good C code layouts generated by GNU indent. ...
167
click to vote
MOBICOM
2000
ACM
15 years 11 months ago
2000
ACM
An ad-hoc network is formed by a group of mobile hosts upon a wireless network interface. Previous research in this area has concentrated on routing algorithms which are designed ...