6308 search results - page 883 / 1262 » Modeling Urgency in Timed Systems |
188
click to vote
ICNS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— In this paper we propose a novel method for associating Wireless Mobile Nodes (WMNs) to Access Points (APs) in busy Wireless access networks. The proposed method associ...
183
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Search and recommendation systems must include contextual information to effectively model users’ interests. In this paper, we present a systematic study of the effectiveness of...
179
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...
186
click to vote
ICRA
2007
IEEE
16 years 1 months 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...
152
click to vote
MONTEREY
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...