5639 search results - page 238 / 1128 » Timed Abstract Non-interference |
157
Voted
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
156
click to vote
GLOBECOM
2009
IEEE
15 years 29 days ago
2009
IEEE
Abstract--We consider a set of multicast sources, each multicasting a finite amount of data to its corresponding destinations. The objective is to minimize the time to deliver all ...
221
Voted
GW
2009
Springer
15 years 29 days ago
2009
Springer
Abstract. We describe a numerical method for scale invariant detection of gesture patterns in continuous 2D motions. The algorithm is fast due to our rejection-based reasoning achi...
140
click to vote
HCI
2009
15 years 29 days ago
2009
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...
111
click to vote
HCI
2009
15 years 29 days ago
2009
Abstract. Motion sensing technologies are well developed at the biomechanical (motion capture) and geo-locative (GPS) scales. However, there are many degrees of scale between these...