2116 search results - page 121 / 424 » Resource Analysis by Sup-interpretation |
147
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
126
Voted
ISPASS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present the eDragon environment, a research platform created to perform complete performance analysis of new Web-based technologies. eDragon enables the understan...
141
Voted
JSW
2008
15 years 3 months ago
2008
This paper describes a web-based interactive framework for the analysis and visualization of gene expressions and protein structures. The formulation of the proposed framework was ...
143
Voted
ESORICS
2011
Springer
14 years 3 months ago
2011
Springer
The use of server virtualization has been growing steadily, but many enterprises still are reluctant to migrate critical workloads to such infrastructures. One key inhibitor is the...
132
Voted
CHI
2008
ACM
16 years 4 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...