Sciweavers

16666 search results - page 403 / 3334
» Descriptive and Computational Complexity
Sort
View
NMR
2004
Springer
16 years 6 days ago
Frame consistency: computing with causal explanations
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
Andrea Bracciali, Antonis C. Kakas
IPPS
2003
IEEE
16 years 3 days ago
HMPI: Towards a Message-Passing Library for Heterogeneous Networks of Computers
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application pr...
Alexey L. Lastovetsky, Ravi Reddy
CGF
2008
149views more  CGF 2008»
15 years 7 months ago
Image-based Aging Using Evolutionary Computing
Aging has considerable visual effects on the human face and is difficult to simulate using a universally-applicable global model. In this paper, we focus on the hypothesis that th...
Daniel Hubball, Min Chen, Phil W. Grant
CORR
2004
Springer
101views Education» more  CORR 2004»
15 years 6 months ago
Parallel Computing Environments and Methods for Power Distribution System Simulation
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...
Ning Lu, Z. Todd Taylor, David P. Chassin, Ross T....
INFORMATICALT
2010
134views more  INFORMATICALT 2010»
15 years 4 months ago
Observability of Turing Machines: A Refinement of the Theory of Computation
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...
Yaroslav D. Sergeyev, Alfredo Garro