1753 search results - page 2 / 351 » Reducibility of domain representations and Cantor-Weihrauch ... |
CP
2004
Springer
14 years 7 days ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
JLP
2011
13 years 1 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
IPPS
2002
IEEE
13 years 11 months ago
2002
IEEE
Three dimensional triangle mesh is the dominant representation used in parallel rendering of 3D geometric models. However, explosive growth in the complexity of the mesh-based 3D ...
IGARSS
2009
13 years 4 months ago
2009
The paper presents a general framework for change detection in radar images, for an operational purpose and in the context of environmental monitoring. This framework is based on ...
IJCAI
2003
13 years 8 months ago
2003
With domain ontology, a meaningful index of document indexing, such as the domain events structure in this paper, can be defined. Since the construction of domain ontology is cost...