585 search results - page 66 / 117 » Better Abstractions for Timed Automata |
PERVASIVE
2008
Springer
15 years 15 days ago
2008
Springer
Abstract. People-centric sensor-based applications targeting mobile device users offer enormous potential. However, learning inference models in this setting is hampered by the lac...
128
click to vote
ASWSD
2004
Springer
15 years 6 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
133
click to vote
LATIN
2010
Springer
15 years 7 months ago
2010
Springer
Binary relations are an important abstraction arising in a number of data representation problems. Each existing data structure specializes in the few basic operations required by ...
PIMRC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— In a slot-synchronized wireless communication system, a set of signature sequences can be derived by circularly shifting a base sequence with good auto correlation prop...
108
Voted
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— In this paper, we propose a cross-layer partnerbased fast handoff mechanism based on HMIPv6, called as PHMIPv6 protocol. Our PHMIPv6 protocol is a cross-layer, layer-2 ...