Sciweavers

6885 search results - page 140 / 1377
» The micro-structure of use of help
Sort
View
FMCAD
2006
Springer
15 years 10 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
MICCAI
2000
Springer
15 years 10 months ago
Robotic Assist for MR-Guided Surgery Using Leverage and Parallelepiped Mechanism
Abstract. In this paper, we would propose a novel mechanism of surgical manipulator, which assists the surgeon in precise positioning and handling of surgical devices, like biopsy ...
Yoshihiko Koseki, Kiyoyuki Chinzei, Noriho Koyachi...
CHI
2010
ACM
15 years 9 months ago
Remote skincare advice system using life logs
Many women find it difficult to maintain beautiful skin since different skincare approaches require different amounts of effort, time, and special knowledge. Women often ask exper...
Maki Nakagawa, Koji Tsukada, Itiro Siio
WSC
2007
15 years 8 months ago
Predicting the impact on business performance of enhanced information system using business process simulation
The estimation of the impact on performance in business process (BP) by introducing an information system (IS) is an important practical problem in investment appraisal. This pape...
Yifei Tan, Soemon Takakuwa
CISSE
2008
Springer
15 years 8 months ago
Sentiment Mining Using Ensemble Classification Models
We live in the information age, where the amount of data readily available already overwhelms our capacity to analyze and absorb it without help from our machines. In particular, ...
Matthew Whitehead, Larry Yaeger