747 search results - page 103 / 150 » An Alternative Representation for QBF |
EUROMICRO
2005
IEEE
15 years 5 months ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...
123
click to vote
INFOVIS
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a system that allows users to interactively explore complex flow scenarios represented as Sankey diagrams. Our system provides an overview of the flow graph and allows ...
IV
2005
IEEE
15 years 5 months ago
2005
IEEE
While searching the Web, the user is often confronted by a great number of results, generally sorted by their rank. These results are then displayed as a succession of ordered lis...
SEFM
2005
IEEE
15 years 5 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
HT
2005
ACM
15 years 5 months ago
2005
ACM
When reflecting on information, spatial hypermedia users express their understanding of the information’s structure visually. In order to facilitate this process, spatial hyperm...