Sciweavers

3312 search results - page 210 / 663
» A Systemic Plan of Technology Integration
Sort
View
ISW
2004
Springer
15 years 12 months ago
Low-Level Ideal Signatures and General Integrity Idealization
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
Michael Backes, Birgit Pfitzmann, Michael Waidner
CHI
2010
ACM
16 years 1 months ago
Learning basic dance choreographies with different augmented feedback modalities
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...
Dieter Drobny, Jan Borchers
SAINT
2006
IEEE
16 years 16 days ago
Positioning Analysis of Multiple Antennas in a Dense RFID Reader Environment
The study and analysis of RFID antenna positioning is important for supply chain large-scale deployment. In a dense reader environment, there will be multiples of RFID readers and...
Kin Seong Leong, Mun Leng Ng, Peter H. Cole
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
15 years 5 months ago
A quadratic regulator-based heuristic for rapidly exploring state space
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
Elena Leah Glassman, Russ Tedrake
AMTA
1998
Springer
15 years 10 months ago
An English-to-Turkish Interlingual MT System
This paper describes the integration of a Turkish generation system with the KANT knowledge-based machine translation system to produce a prototype English
Dilek Zeynep Hakkani, Gökhan Tür, Kemal ...