2950 search results - page 98 / 590 » Computing with Infinitely Many Processes |
165
click to vote
AAAI
2008
15 years 3 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
101
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
132
click to vote
SIAMCO
2002
15 years 2 months ago
2002
As shown in [7], optimal control problems with either ODE or PDE dynamics can be solved efficiently using a setting of consistent approximations obtained by numerical discretizati...
143
click to vote
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
—Large-scale online applications such as Massively Multiplayer Online Games (MMOGs) require large amount of computing resources that support many players interacting simultaneous...
116
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. Recent advances in software and hardware for clustered computing have allowed scientists and computing specialists to take advantage of commodity processors in solving ch...