Sciweavers

2780 search results - page 153 / 556
» Generalizing by Removing Detail
Sort
View
DIAGRAMS
2008
Springer
15 years 8 months ago
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
Sergio Gutiérrez Santos, Darren Pearce, Eir...
ACSW
2004
15 years 7 months ago
A Case Study in Access Control Requirements for a Health Information System
We present a detailed examination of the access constraints for a small real-world Health Information System with the aim of achieving minimal access rights for each of the involv...
Mark Evered, Serge Bögeholz
CMS
1996
167views Communications» more  CMS 1996»
15 years 7 months ago
Anonymous Mobility Management for Third Generation Mobile Networks
With the increasing use of mobile and nomadic communication devices requirements for security and privacy are rising as well. Following brief surveys of existing approaches to mob...
Simon Hoff, Kai Jakobs, Dogan Kesdogan
COR
2010
117views more  COR 2010»
15 years 6 months ago
Performance optimization of open zero-buffer multi-server queueing networks
Abstract -- Open zero-buffer multi-server general queueing networks occur throughout a number of physical systems in the semi-process and process industries. In this paper, we eval...
R. Andriansyah, Tom Van Woensel, Frederico R. B. C...
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 6 months ago
Estimation with Random Linear Mixing, Belief Propagation and Compressed Sensing
Abstract--We apply Guo and Wang's relaxed belief propagation (BP) method to the estimation of a random vector from linear measurements followed by a componentwise probabilisti...
Sundeep Rangan