294 search results - page 26 / 59 » diagrams 2006 |
CSCWD
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents an application framework for constructing sketch-based cooperative design (especially for distributed conceptual design) tools. Three key issues are addressed: ...
CSR
2006
Springer
14 years 1 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
DEXA
2006
Springer
14 years 1 months ago
2006
Springer
The composition of services that are indexed in a large-scale service directory often involves many complex queries issued by the service composition algorithm to the directory. Th...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...