882 search results - page 82 / 177 » Allowing State Changes in Specifications |
166
click to vote
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
— Outside of the laboratory, accurate models of ground impact dynamics are either difficult or impossible to obtain. Instead, a rigid ground model is often used in gait and cont...
116
click to vote
INFOCOM
2007
IEEE
16 years 13 days ago
2007
IEEE
— In this paper we investigate the potential benefits of coordinated congestion control for multipath data transfers, and contrast with uncoordinated control. For static random ...
183
Voted
DSOM
2005
Springer
15 years 11 months ago
2005
Springer
Threshold crossing alerts (TCAs) indicate to a management system that a management variable, associated with the state, performance or health of the network, has crossed a certain ...
140
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
206
click to vote
IEEEVAST
2010
15 years 1 months ago
2010
In this paper, we introduce ALIDA, an Active Learning Intent Discerning Agent for visual analytics interfaces. As users interact with and explore data in a visual analytics enviro...