Sciweavers

2565 search results - page 288 / 513
» Object type constructors
Sort
View
122
Voted
DSN
2009
IEEE
15 years 10 months ago
Comparing anomaly-detection algorithms for keystroke dynamics
Keystroke dynamics—the analysis of typing rhythms to discriminate among users—has been proposed for detecting impostors (i.e., both insiders and external attackers). Since man...
Kevin S. Killourhy, Roy A. Maxion
97
Voted
IROS
2009
IEEE
186views Robotics» more  IROS 2009»
15 years 10 months ago
Robotic submerged microhandling controlled by pH swithching
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
Jérôme Dejeu, Patrick Rougeot, Micha&...
126
Voted
MHCI
2009
Springer
15 years 10 months ago
Improving the accessibility of NFC/RFID-based mobile interaction through learnability and guidance
NFC and RFID technologies have found their way into current mobile phones and research has presented a variety of applications using NFC/RFID tags for interaction between physical...
Gregor Broll, Susanne Keck, Paul Holleis, Andreas ...
119
Voted
MODELS
2009
Springer
15 years 10 months ago
Generic Model Refactorings
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
Naouel Moha, Vincent Mahé, Olivier Barais, ...
140
Voted
TLCA
2009
Springer
15 years 10 months ago
Algebraic Totality, towards Completeness
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
Christine Tasson