4670 search results - page 238 / 934 » Testing that distributions are close |
225
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 8 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
162
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Systems that include multiple integrated displays distributed throughout the working environment are becoming prevalent. Compared to traditional desktop displays, information pre...
191
click to vote
WOA
2007
15 years 7 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
166
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract--In a distributed speech recognition (DSR) framework, the speech features are quantized and compressed at the client and recognized at the server. However, recognition acc...
173
Voted
TEC
2008
15 years 6 months ago
2008
Under mild conditions, it can be induced from the Karush-Kuhn-Tucker condition that the Pareto set, in the decision space, of a continuous multiobjective optimization problem is (m...