Sciweavers

4163 search results - page 181 / 833
» Enhancing surgical systems
Sort
View
190
Voted
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
181
Voted
HASE
1998
IEEE
15 years 11 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...
162
Voted
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
15 years 11 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 8 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
201
Voted
DEXAW
2006
IEEE
95views Database» more  DEXAW 2006»
16 years 1 months 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...