853 search results - page 129 / 171 » On Integrating Visualization Techniques for Effective Softwa... |
LREC
2008
15 years 3 months ago
2008
This paper focuses on automatically improving the readability of documents. We explore mechanisms relating to content control that could be used (i) by authors to improve the qual...
115
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
114
click to vote
PDCAT
2005
Springer
15 years 7 months ago
2005
Springer
Grid and service computing technologies have been explored by enterprises to promote integration, sharing, and collaboration. However, quick response to business environment chang...
108
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
121
click to vote
UIST
2010
ACM
14 years 11 months ago
2010
ACM
In this paper we introduce tag expression, a novel form of preference elicitation that combines elements from tagging and rating systems. Tag expression enables users to apply aff...