Sciweavers

5718 search results - page 330 / 1144
» Modeling Rule Precision
Sort
View
ISCAS
2003
IEEE
172views Hardware» more  ISCAS 2003»
15 years 12 months ago
Performance modeling of resonant tunneling based RAMs
Tunneling based random-access memories (TRAM’s) have recently garnered a great amount of interests among the memory designers due to their intrinsic merits such as reduced power...
Hui Zhang, Pinaki Mazumder, Li Ding 0002, Kyoungho...
ISIPTA
2003
IEEE
102views Mathematics» more  ISIPTA 2003»
15 years 12 months ago
A Sensitivity Analysis for the Pricing of European Call Options in a Binary Tree Model
The European call option prices have well-known formulae in the Cox-RossRubinstein model [2], depending on the volatility of the underlying asset. Nevertheless it is hard to give ...
Huguette Reynaerts, Michèle Vanmaele
ICSOC
2003
Springer
15 years 12 months ago
Model Checking Correctness Properties of Electronic Contracts
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
Ellis Solaiman, Carlos Molina-Jiménez, Sant...
ICRA
2000
IEEE
122views Robotics» more  ICRA 2000»
15 years 11 months ago
Application of a Model-Free Algorithm for the Packing of Irregular Shaped Objects in Semiconductor Manufacture
A Robotic System is being developed to automate the crucible packing process in the CZ semiconductor wafer production. It requires the delicate manipulation and packing of highly ...
Vivek A. Sujan, Steven Dubowsky
AIME
2007
Springer
15 years 10 months ago
Analyzing Differences in Operational Disease Definitions Using Ontological Modeling
Abstract. In medicine, there are many diseases which cannot be precisely characterized but are considered as natural kinds. In the communication between health care professionals, ...
Linda Peelen, Michel C. A. Klein, Stefan Schlobach...