12741 search results - page 296 / 2549 » Editorial and call for papers |
166
click to vote
HUC
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we introduce a smart appliance for consumer healthcare called “Magic Medicine Cabinet.” It integrates such technologies like smart labels, face recognition, heal...
166
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
145
Voted
ISAAC
1999
Springer
15 years 11 months ago
1999
Springer
We introduce an online relocation problem on a graph, in which a player who walks around the nodes makes decisions on whether to relocate mobile resources, while not knowing the fu...
170
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
159
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Fast remote procedure call (RPC) is a major concern for distributed systems. Many studies aimed at efficient RPC consist of either new implementations of the RPC paradigm or manua...