43264 search results - page 8188 / 8653 » Comparing models of computation |
109
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
: This paper describes the practical implementation of a federated health record server based on a generic and comprehensive architecture, deployed in a live clinical setting and a...
102
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Particle compound material is the composition of different particles with inhomogeneous and non-uniform properties. Particle compound material is the most complicated engineering m...
121
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
129
Voted
ICMI
2004
Springer
15 years 9 months ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...
154
click to vote
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...