334 search results - page 3 / 67 » The CORES Project |
IJCAI
2003
13 years 8 months ago
2003
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
MSE
2003
IEEE
14 years 18 days ago
2003
IEEE
The increasing gap between design productivity and chip complexity, and emerging systems-on-a-chip (SoC) have led to the wide utilization of reusable intellectual property (IP) co...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
DC
2001
13 years 8 months ago
2001
As a participant in the D-Lib Test Suite project, the University of Illinois maintains a full-text XML testbed containing over 65,000 scientific and technical journal articles. Fo...
GI
2009
Springer
13 years 12 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...