Sciweavers

1218 search results - page 72 / 244
» Scaling up a
Sort
View
AISC
2010
Springer
14 years 1 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
AGENTS
2000
Springer
14 years 1 months ago
Scalability Metrics and Analysis of Mobile Agent Systems
Scalability is a many-sided property which can be captured in a scalability metric that balances cost, volume, timeliness and other attirbutes of value in the system, as a functio...
C. Murray Woodside
ISPAN
1996
IEEE
14 years 1 months ago
A World-Wide Web server on a multicomputer system
As the number of people browsing the world-wide web increases explosively, workload of popular web servers also increases rapidly. A multicomputer system that was designed for I/O...
Chun-Hsing Wu, Chun-Chao Yeh, Jie-Yong Juang
CMSB
2006
Springer
14 years 23 days ago
Compositional Reachability Analysis of Genetic Networks
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
Gregor Gößler
ILP
2000
Springer
14 years 19 days ago
Using ILP to Improve Planning in Hierarchical Reinforcement Learning
Hierarchical reinforcement learning has been proposed as a solution to the problem of scaling up reinforcement learning. The RLTOPs Hierarchical Reinforcement Learning System is an...
Mark D. Reid, Malcolm R. K. Ryan