Sciweavers

1215 search results - page 182 / 243
» A theory of Error-Rate Testing
Sort
View
ICC
2007
IEEE
14 years 4 months ago
On the Verification of the Gravity Model Used for Mobility Modeling
— Gravity model used to model transport flow has proven invaluable in urban planning. Some recent work has proposed to use gravity model to predict user movements in cellular net...
Yong Huat Chew, Shinobu Nanba, Peng Keong Tham, Bo...
IPPS
2007
IEEE
14 years 4 months ago
From Hardware to Software Synthesis of Linear Feedback Shift Registers
Linear Feedback Shift Registers (LFSRs) have always received considerable attention in computer science especially in coding theory and in cryptography. The scope of applications ...
Cédric Lauradoux
BIOWIRE
2007
Springer
14 years 4 months ago
Coalition Games and Resource Allocation in Ad-Hoc Networks
In this paper we explore some of the connections between cooperative game theory and the utility maximization framework for routing and flow control in networks. Central to both a...
Richard J. Gibbens, Peter B. Key
CAV
2007
Springer
116views Hardware» more  CAV 2007»
14 years 4 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
ENTER
2007
Springer
14 years 4 months ago
The Contribution of Technology-Based Heritage Interpretation to the Visitor Satisfaction in Museums
The tradition of heritage interpretation is moving away from purely conservational and educational goals to an entertainment- and experience-oriented interpretative provision. New...
Sofía Reino, Nicole Mitsche, Andrew J. Frew