Sciweavers

4029 search results - page 454 / 806
» Reconfigurable Systems in Education
Sort
View
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 5 months ago
Termination Casts: A Flexible Approach to Termination with General Recursion
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
Aaron Stump, Vilhelm Sjöberg, Stephanie Weiri...
CORR
2011
Springer
200views Education» more  CORR 2011»
15 years 2 months ago
Distributed Inference and Query Processing for RFID Tracking and Monitoring
In this paper, we present the design of a scalable, distributed stream processing system for RFID tracking and monitoring. Since RFID data lacks containment and location informati...
Zhao Cao, Charles Sutton, Yanlei Diao, Prashant J....
CORR
2011
Springer
173views Education» more  CORR 2011»
15 years 2 months ago
U-Sem: Semantic Enrichment, User Modeling and Mining of Usage Data on the Social Web
With the growing popularity of Social Web applications, more and more user data is published on the Web everyday. Our research focuses on investigating ways of mining data from su...
Fabian Abel, Ilknur Celik, Claudia Hauff, Laura Ho...
TII
2010
108views Education» more  TII 2010»
15 years 2 months ago
Retransmission Strategies for Cyclic Polling over Wireless Channels in the Presence of Interference
In this paper we consider retransmission strategies for centralized cyclic polling-based systems over wireless channels subject to external interference. The considered strategies...
Giovanni Gamba, Federico Tramarin, Andreas Willig
158
Voted
TIT
2010
107views Education» more  TIT 2010»
15 years 2 months ago
On the optimum distance profiles about linear block codes
In this paper, for some linear block codes, two kinds of optimum distance profiles (ODPs) are introduced to consider how to construct and then exclude (or include) the basis codewo...
Yuan Luo, A. J. Han Vinck, Yanling Chen