Sciweavers

4163 search results - page 181 / 833
» Enhancing surgical systems
Sort
View
NGC
2002
Springer
107views Communications» more  NGC 2002»
15 years 4 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 8 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 8 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 5 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»
15 years 10 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...