Sciweavers

4686 search results - page 286 / 938
» Time-lagged Directed Information
Sort
View
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 8 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
MVA
1992
15 years 7 months ago
Contour Map Reconstruction via Multi-Module Parallel Computational Scheme
Module-1 :Computation of gradient directions. Reconstruction of a set of imperfect contour curves which is extracted :Assignment of discreteheight to contourcurves. from a topograp...
Miyuki Kawashima, Ryuji Tokunaga, Yuzo Hirai
BILDMED
2009
114views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Towards Projector-Based Visualization for Computer-Assisted CABG at the Open Heart
Computer-assistance in coronary artery bypass grafting at the open heart with intraoperative navigation enables accurate placement of a bypass graft to a preoperatively planned ana...
Christine Hartung, Claudia Gnahm, Stefan Sailer, M...
GECCO
2008
Springer
229views Optimization» more  GECCO 2008»
15 years 7 months ago
EIN-WUM: an AIS-based algorithm for web usage mining
With the ever expanding Web and the information published on it, effective tools for managing such data and presenting information to users based on their needs are becoming nece...
Adel Torkaman Rahmani, B. Hoda Helmi
GI
2008
Springer
15 years 7 months ago
AR Binocular: Augmented Reality System for nautical navigation
: A realtime Augmented Reality binocular for the assistance of nautical staff is presented. AR systems combine the real environment with additional information. Nautical sea chart ...
Kristine Haase, Reinhard Koch