Sciweavers

73 search results - page 10 / 15
» bell 2006
Sort
View
85
Voted
FUIN
2006
113views more  FUIN 2006»
14 years 9 months ago
Adaptive Merging of Prioritized Knowledge Bases
Abstract. In this paper, we propose an adaptive algorithm for merging n (n2) prioritized knowledge bases which takes into account the degrees of conflict and agreement among these ...
Weiru Liu, Guilin Qi, David A. Bell
PUC
2007
113views more  PUC 2007»
14 years 9 months ago
Yesterday's tomorrows: notes on ubiquitous computing's dominant vision
Ubiquitous computing is unusual amongst technological research arenas. Most areas of computer science research, such as programming language implementation, distributed operating s...
Genevieve Bell, Paul Dourish
FMSD
2006
85views more  FMSD 2006»
14 years 9 months ago
Distributed disk-based algorithms for model checking very large Markov chains
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
Alexander Bell, Boudewijn R. Haverkort
IJPP
2006
82views more  IJPP 2006»
14 years 9 months ago
Supporting Microthread Scheduling and Synchronisation in CMPs
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...
Ian Bell, Nabil Hasasneh, Chris R. Jesshope
JCT
2006
108views more  JCT 2006»
14 years 9 months ago
Jack van Lint (1932-2004): A survey of his scientific work
When Jack van Lint was appointed as full professor at the Eindhoven University of Technology at the age of 26 he combined a PhD in number theory with a very open scientific mind. ...
Bram Van Asch, Aart Blokhuis, Henk D. L. Hollmann,...