7535 search results - page 1477 / 1507 » A Type System for CHR |
CEC
2010
IEEE
13 years 8 months ago
2010
IEEE
The optimization of spacecraft trajectories can be formulated as a global optimization task. The complexity of the problem depends greatly on the problem formulation, on the spacec...
DGO
2008
13 years 8 months ago
2008
This paper provides an interim report on ongoing data collection and analysis efforts as part of a large-scale study of information technology- focused interagency collaborations ...
GISCIENCE
2010
Springer
13 years 8 months ago
2010
Springer
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
DAGSTUHL
2009
13 years 8 months ago
2009
Abstract. In this paper we elaborate on the challenges of learning manifolds that have many relevant clusters, and where the clusters can have widely varying statistics. We call su...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
As the number of cores inside compute clusters continues to grow, the scalability of MPI (Message Passing Interface) is important to ensure that programs can continue to execute o...