Sciweavers

1912 search results - page 193 / 383
» On the evaluation of argumentation formalisms
Sort
View
CIKM
2005
Springer
16 years 20 days ago
A model for weighting image objects in home photographs
The paper presents a contribution to image indexing consisting in a weighting model for visible objects – or image objects – in home photographs. To improve its effectiveness ...
Jean Martinet, Yves Chiaramella, Philippe Mulhem
IUI
2004
ACM
16 years 19 days ago
Computer algebra in interface design research
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
Harold W. Thimbleby, Jeremy Gow
SASN
2004
ACM
16 years 19 days ago
Resilient aggregation in sensor networks
This paper studies security for data aggregation in sensor networks. Current aggregation schemes were designed without security in mind and there are easy attacks against them. We...
David Wagner
CSLP
2004
Springer
16 years 18 days ago
Property Grammars: A Fully Constraint-Based Theory
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...
Philippe Blache
IFL
2004
Springer
16 years 17 days ago
Shrinking Reductions in SML.NET
One performance-critical phase in the SML.NET compiler involves rewriting intermediate terms to monadic normal form and performing non-duplicating β-reductions. We present an impe...
Nick Benton, Andrew Kennedy, Sam Lindley, Claudio ...