Sciweavers

12742 search results - page 149 / 2549
» On canonical number systems
Sort
View
SOSP
1993
ACM
15 years 7 months ago
The Logical Disk: A New Approach to Improving File Systems
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface...
Wiebren de Jonge, M. Frans Kaashoek, Wilson C. Hsi...
FUIN
2006
105views more  FUIN 2006»
15 years 6 months ago
Spiking Neural P Systems
This paper is an attempt to incorporate the idea of spiking neurons into the area of membrane computing, and to this aim we introduce a class of neural-like P systems which we cal...
Mihai Ionescu, Gheorghe Paun, Takashi Yokomori
FMCAD
2009
Springer
16 years 28 days ago
Synthesizing robust systems
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
Roderick Bloem, Karin Greimel, Thomas A. Henzinger...
ECTEL
2007
Springer
16 years 16 days ago
Cross-System Validation of Engagement Prediction from Log Files
Engagement is an important aspect of effective learning. Time spent using an e-Learning system is not quality time if the learner is not engaged. Tracking student disengagement wou...
Mihaela Cocea, Stephan Weibelzahl
ICIP
2006
IEEE
16 years 12 days ago
A Novel Replica Detection System using Binary Classifiers, R-Trees, and PCA
Replica detection is a prerequisite for the discovery of copyright infringement and detection of illicit content. For this purpose, contentbased systems can be an efficient alter...
Yannick Maret, Spiros Nikolopoulos, Fréd&ea...