1604 search results - page 129 / 321 » Development Separation in Lambda-Calculus |
INFOVIS
2003
IEEE
14 years 3 months ago
2003
IEEE
We present BARD (biological arc diagrams), a visualization tool for biological sequence analysis. The development of BARD began with the application of Wattenberg’s arc diagrams...
PG
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents several methods for shading meshes from scanned paint samples that represent dark to light transitions. Our techniques emphasize artistic control of brush stro...
WISE
2003
Springer
14 years 3 months ago
2003
Springer
Service-Oriented Computing (SOC) is the computing paradigm that utilizes services as fundamental elements for developing applications/solutions. To build the service model, SOC re...
AIIA
2003
Springer
14 years 3 months ago
2003
Springer
In this paper, we propose a way to fuse the image-based localisation approach with the Monte-Carlo localisation approach. The method we propose does not suffer of the major limitat...
APN
2003
Springer
14 years 3 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...