Sciweavers

4592 search results - page 211 / 919
» Framework for Studying Substitution
Sort
View
CSREAEEE
2006
115views Business» more  CSREAEEE 2006»
15 years 8 months ago
A Framework for Smart e-Trader System for UAE Stock Markets
- The fast development in computing and communication has strongly changed the dynamics of financial markets. More people are trading online through the Web instead of using full-s...
Emad Bataineh, Fatma Al Amir, Hanan Ibraheem, Hess...
BNCOD
2001
106views Database» more  BNCOD 2001»
15 years 8 months ago
SEAL - A Framework for Developing SEmantic Web PortALs
The core idea of the Semantic Web is to make information accessible to human and software agents on a semantic basis. Hence, web sites may feed directly from the Semantic Web explo...
Alexander Maedche, Steffen Staab, Nenad Stojanovic...
ICASSP
2010
IEEE
15 years 7 months ago
An auction-based framework for multimedia streaming over cognitive radio networks
Recently, many works have been proposed in the area of cognitive radio to efficiently utilize the spectrum for data communication. However, little effort has been made in content...
Yan Chen, Yongle Wu, Beibei Wang, K. J. Ray Liu
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 7 months ago
A New Framework for Join Product Skew
Different types of data skewness can result in load imbalance in the context of parallel joins under the shared nothing architecture. We study one important type of skewness, join ...
Foto N. Afrati, Victor Kyritsis, Paraskevas V. Lek...
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 7 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
William Lovas, Frank Pfenning