631 search results - page 82 / 127 » A Structured Approach to Support 3D User Interface Developme... |
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
69
Voted
GRAPHICSINTERFACE
2007
14 years 11 months ago
2007
We present a design space explorer for the space of experimental designs. For many design problems, design decisions are determined by the consequences of the design rather than i...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we describe an innovative tool that supports the design and evaluation of the information architecture of a Web site. The tool uses Latent Semantic Analysis and hie...
167
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
The Web as a global information space is developing from a Web of documents to a Web of data. This development opens new ways for addressing complex information needs. Search is n...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
The development of the RDF[2] standard highlights the fact that a great deal of useful information is in the form of semistructured data--objects connected by relations fitting no...