Sciweavers

4163 search results - page 664 / 833
» Enhancing surgical systems
Sort
View
SPIN
2004
Springer
14 years 2 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
WEBI
2004
Springer
14 years 2 months ago
An Integrated Approach to Discovery in Complex Information Spaces
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
Daryl H. Hepting, Cory J. Butz
HAPTICS
2003
IEEE
14 years 2 months ago
Electro-Rheological Fluidic Actuators for Haptic Vehicular Instrument Controls
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
J. Melli-Huber, Brian Weinberg, Avi Fisch, Jason N...
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
14 years 2 months ago
Does e-Business Modeling Really Help?
Many innovative e-business ideas are hardly understood by their stakeholders when articulated just by words. To create a better, also shared, understanding, and to enhance confid...
Jaap Gordijn, Hans Akkermans
HICSS
2003
IEEE
359views Biometrics» more  HICSS 2003»
14 years 2 months ago
Assessing the Readiness of Firms for CRM: A Literature Review and Research Model
The concept of customer relationship management (CRM) resonates with managers in today's competitive economy. Yet recent articles in the business press have described CRM imp...
Rosalie J. Ocker, Susan Mudambi