Sciweavers

131 search results - page 22 / 27
» Bellman goes relational
Sort
View
AIME
2005
Springer
14 years 1 months ago
Multi-agent Patient Representation in Primary Care
Though multi-agent systems have been explored in a wide variety of medical settings, their role at the primary care level has been relatively little investigated. In this paper, we...
Chris Reed, Brian Boswell, Ron Neville
CSL
2004
Springer
14 years 1 months ago
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
Neil Immerman, Alexander Moshe Rabinovich, Thomas ...
ISWC
2003
IEEE
14 years 28 days ago
A Wearable Sense of Balance Monitoring System towards Daily Health Care Monitoring
We implemented a wearable system for detecting accelerations of the user's head while standing still for the purpose of developing a daily health care application. A 2axis ac...
Soichiro Matsushita, Toshihiko Oba, Kazuoki Otsuki...
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
14 years 23 hour ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...
DATE
1998
IEEE
114views Hardware» more  DATE 1998»
13 years 12 months ago
Design Of Future Systems
Near-future linac projects put yet unreached requirements on the LLRF control hardware in both performance and manageability. Meeting their field stability targets requires a clea...
Ian Page