1547 search results - page 232 / 310 » The Isabelle Collections Framework |
111
click to vote
SPIRE
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, we study query processing in a distributed text database. The novelty is a real distributed architecture implementation that offers concurrent query service. The di...
128
Voted
AUIC
2000
IEEE
15 years 5 months ago
2000
IEEE
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...
ICNP
2000
IEEE
15 years 5 months ago
2000
IEEE
—In this paper, we extend the load sharing framework to study how to effectively perform flow-based traffic splitting in multipath communication networks. The generalized load sh...
105
Voted
IJCNN
2000
IEEE
15 years 5 months ago
2000
IEEE
—A predictive, multiple model control strategy is developed by extension of self-organizing map (SOM) local dynamic modeling of nonlinear autonomous systems to a control framewor...
82
Voted
LICS
2000
IEEE
15 years 5 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...