Sciweavers

3273 search results - page 166 / 655
» types 2007
Sort
View
140
Voted
CIDR
2007
111views Algorithms» more  CIDR 2007»
15 years 6 months ago
The Case for a Signal-Oriented Data Stream Management System
Sensors capable of sensing phenomena at high data rates—on the order of tens to hundreds of thousands of samples per second—are useful in many industrial, civil engineering, s...
Lewis Girod, Yuan Mei, Ryan Newton, Stanislav Rost...
JNW
2007
135views more  JNW 2007»
15 years 4 months ago
Access Control in Decentralised Publish/Subscribe Systems
Abstract— Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. Large...
Lauri I. W. Pesonen, David M. Eyers, Jean Bacon
JKM
2007
89views more  JKM 2007»
15 years 4 months ago
Knowledge leadership cycles: an approach from Nonaka's viewpoint
Purpose – The aim of this paper is to analyse leadership cycles based on knowledge creation, with learning and culture as key elements for reaching leadership. Following Ikujiro...
Maria Sarabia
149
Voted
JKM
2007
131views more  JKM 2007»
15 years 4 months ago
A metaphor for knowledge management: explicit islands in a tacit sea
Purpose – This paper aims to examine the current thoughts on knowledge management (KM) and to develop a metaphor to combine these thoughts in a new way that effectively conveys ...
Richard C. Hicks, Ronald Dattero, Stuart D. Galup
RTA
2007
Springer
15 years 10 months ago
A Simple Proof That Super-Consistency Implies Cut Elimination
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
Gilles Dowek, Olivier Hermant