1669 search results - page 131 / 334 » Structured Specification of Model Interpreters |
123
Voted
PAMI
1998
15 years 3 months ago
1998
—Visualization has proven to be a powerful and widely-applicable tool for the analysis and interpretation of multivariate data. Most visualization algorithms aim to find a projec...
140
Voted
EJIS
2006
15 years 3 months ago
2006
This paper examines how the use of mobile phones influences the temporal boundaries that people enact in order to regulate and coordinate their work and non-work activities. We in...
108
Voted
LRE
2002
15 years 3 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
145
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
120
Voted
OOPSLA
1998
Springer
15 years 7 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...