692 search results - page 15 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
110
click to vote
IWSAS
2000
Springer
15 years 3 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...
ESOP
2003
Springer
15 years 5 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...
88
Voted
SIGIR
2004
ACM
15 years 5 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...
ITICSE
2006
ACM
15 years 5 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...
115
click to vote
IPM
2007
14 years 11 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...