1026 search results - page 154 / 206 » A Methodology for Equational Reasoning |
KDD
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we address the problem of learning when some cases are fully labeled while other cases are only partially labeled, in the form of partial labels. Partial labels are...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
We introduce grounded evaluation as a process that attempts to ensure that the evaluation of an information visualization tool is situated within the context of its intended use. ...
CHI
2008
ACM
14 years 9 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...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
The internet presents people with an increasingly bewildering variety of choices. Online consumers have to rely on computerized search tools to find the most preferred option in a...
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...