1757 search results - page 54 / 352 » Alternating Refinement Relations |
89
Voted
CIKM
2003
Springer
15 years 5 months ago
2003
Springer
We present a series of experiments to demonstrate the validity of Relative Utility (RU) as a measure for evaluating extractive summarizers. RU is applicable in both singledocument...
97
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
104
Voted
JUCS
2008
15 years 15 days ago
2008
: The following paper introduces the work conducted to create a relative virtual mouse based on the interpretation of head movements and face gesture through a low cost camera and ...
103
click to vote
STACS
2001
Springer
15 years 5 months ago
2001
Springer
It is well known that finite square matrices over a Kleene algebra again form a Kleene algebra. This is also true for infinite matrices under suitable restrictions. One can use t...
106
Voted
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
Storage costs are rapidly decreasing, making it feasible to store larger amounts of data in databases. This also makes it possible to store previous versions of data in the databa...