Sciweavers

5122 search results - page 135 / 1025
» Comparing Consequence Relations
Sort
View
LPAR
2007
Springer
15 years 9 months ago
Completeness and Decidability in Sequence Logic
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
Marc Bezem, Tore Langholm, Michal Walicki
106
Voted
MVA
2007
130views Computer Vision» more  MVA 2007»
15 years 4 months ago
Benchmarking 3D Reconstructions from Next Best View Planning
The problem of planning the Next Best View (NBV) still poses many questions. However, the achieved methods and algorithms are hard to compare, since researchers use their own test...
Christoph Munkelt, Michael Trummer, Joachim Denzle...
EOR
2008
99views more  EOR 2008»
15 years 3 months ago
Ordinal regression revisited: Multiple criteria ranking using a set of additive value functions
We present a new method, called UTAGMS , for multiple criteria ranking of alternatives from set A using a set of additive value functions which result from an ordinal regression. ...
Salvatore Greco, Vincent Mousseau, Roman Slowinski
114
Voted
WWW
2006
ACM
16 years 4 months ago
Estimating required recall for successful knowledge acquisition from the web
Information on the Web is not only abundant but also redundant. This redundancy of information has an important consequence on the relation between the recall of an information ga...
Wolfgang Gatterbauer
CHI
2009
ACM
16 years 4 months ago
Three environmental discourses in human-computer interaction
A review of the past decade of human-computer interaction relating to environmental issues identifies three discourses whose commitments and assumptions have consequences for the ...
Elizabeth Goodman