5961 search results - page 1047 / 1193 » Design Science and Software Engineering |
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
91
Voted
UIST
2004
ACM
15 years 8 months ago
2004
ACM
We present content-aware free-space transparency, an approach to viewing and manipulating the otherwise hidden content of obscured windows through unimportant regions of overlappi...
115
click to vote
UIST
2004
ACM
15 years 8 months ago
2004
ACM
We present a variant of hierarchical marking menus where items are selected using a series of inflection-free simple marks, rather than the single "zig-zag" compound mar...
135
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
125
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...