692 search results - page 15 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
122
click to vote
IWSAS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...
104
click to vote
ESOP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
104
click to vote
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
We investigate how users interact with the results page of a WWW search engine using eye-tracking. The goal is to gain into how users browse the presented abstracts and how they s...
80
Voted
ITICSE
2006
ACM
15 years 7 months ago
2006
ACM
This paper illustrates how the notion of pattern can be used in the automatic analysis and synthesis of diagrams, applied particularly to the automatic marking of ER-diagrams. The...
132
click to vote
IPM
2007
15 years 1 months ago
2007
Understanding users’ navigation on the Web is important towards improving the quality of information and the speed of accessing large-scale Web data sources. Clustering of users...