Sciweavers

1825 search results - page 112 / 365
» Decision Support System on the Grid
Sort
View
PERVASIVE
2005
Springer
15 years 11 months ago
Decision-Theoretic Planning Meets User Requirements: Enhancements and Studies of an Intelligent Shopping Guide
This paper reports on extensions to a decision-theoretic location-aware shopping guide and on the results of user studies that have accompanied its development. On the basis of the...
Thorsten Bohnenberger, Oliver Jacobs, Anthony Jame...
CADE
2005
Springer
16 years 6 months ago
A Proof-Producing Decision Procedure for Real Arithmetic
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
Sean McLaughlin, John Harrison
AINA
2009
IEEE
16 years 25 days ago
VirtCloud: Virtualising Network for Grid Environments
Networking infrastructure is a vital part of virtual computer clusters. This paper describes VirtCloud, a system for interconnecting virtual clusters in a state-wide network based...
David Antos, Ludek Matyska, Petr Holub, Jirí...
CAI
2002
Springer
15 years 5 months ago
The Computing and Data Grid Approach: Infrastructure for Distributed Science Applications
Grid technology has evolved over the past several years to provide the services and infrastructure needed for building "virtual" systems and organizations. With this Gri...
William E. Johnston
187
Voted
AUIC
2000
IEEE
15 years 10 months ago
Supporting Special-Purpose Health Care Models via Web Interfaces
The potential of the Web, via both the Internet and intranets, to facilitate development of clinical information systems has been evident for some time. Most Web-based clinical wo...
James R. Warren, Heath K. Frankel, Joseph T. Noone...