Sciweavers

2565 search results - page 288 / 513
» Object type constructors
Sort
View
DSN
2009
IEEE
16 years 1 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
IROS
2009
IEEE
186views Robotics» more  IROS 2009»
16 years 1 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&...
MHCI
2009
Springer
16 years 27 days 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 ...
MODELS
2009
Springer
16 years 27 days 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, ...
TLCA
2009
Springer
16 years 27 days 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