5355 search results - page 453 / 1071 » Modules |
122
click to vote
LOCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present an improvement to ultrasound–based indoor location systems like Cricket [1]. By encoding and modulating the ultrasound pulses, we are able to achieve greater...
132
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...
135
click to vote
MLMI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This article describes a method for document/speech alignment based on explicit verbal references to documents and parts of documents, in the context of multimodal meetin...
140
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
138
click to vote
FSKD
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, an intelligent power management scheme for embedded systems with wireless applications is proposed to reduce the power consumption of the overall system. The propose...