Sciweavers

4163 search results - page 181 / 833
» Enhancing surgical systems
Sort
View
NGC
2002
Springer
107views Communications» more  NGC 2002»
15 years 6 months ago
An Information Management System with the Facility to Support Long-term Creative Thinking
Abstract Most previous creativity support systems sustain shortterm temporal thinking that is separate from users' daily activities. In this paper, we propose a system to supp...
Hirohito Shibata, Koichi Hori
HASE
1998
IEEE
15 years 10 months ago
A New Heuristic to Discriminate between Transient and Intermittent Faults
Effective discrimination between transient and permanent faults is a very important practical problem in (dependable) system design. A count-andthreshold mechanism named -count, d...
Fabrizio Grandoni 0002, Andrea Bondavalli, Silvano...
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
15 years 10 months ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby
ACL
1992
15 years 7 months ago
Information Retrieval Using Robust Natural Language Processing
We developed a fully automated Information Retrieval System which uses advanced natural language processing techniques to enhance the effectiveness of traditional key-word based d...
Tomek Strzalkowski, Barbara Vauthey
DEXAW
2006
IEEE
95views Database» more  DEXAW 2006»
16 years 17 days ago
Optimising Performance in Network-Based Information Systems: Virtual Organisations and Customised Views
Network-based information systems use well-defined standards to ensure interoperability and also have a tightly coupled relationship between their internal data representation an...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...