2970 search results - page 76 / 594 » A Model for the Visualization Exploration Process |
ENTCS
2008
13 years 9 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we utilize a predator-prey model in order to identify characteristics of single-objective variation operators in the multi-objective problem domain. In detail, we a...
AUIC
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper describes the vital role of freehand sketching in the design process. When designers first tackle a design problem they usually do so by sketching. We will explore the ...
SYNASC
2007
IEEE
14 years 3 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
NAR
2011
12 years 12 months ago
2011
The Epigenomics database at the National Center for Biotechnology Information (NCBI) is a new resource that has been created to serve as a comprehensive public resource for whole-...