Sciweavers

399 search results - page 62 / 80
» Generating Referring Expressions with Reference Domain Theor...
Sort
View
CONCUR
1999
Springer
14 years 5 days ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
BTW
1993
Springer
193views Database» more  BTW 1993»
14 years 8 hour ago
Query Optimization in an OODBMS
It is clearly crucial for the success of object-oriented databases to find effiĆ cient implementations that improve on the performance of relational sysĆ tems, rather than being...
Christian Rich, Marc H. Scholl
DAGSTUHL
2010
13 years 9 months ago
Model-Based Visualization for Intervention Planning
Computer support for intervention planning is a two-stage process: In a first stage, the relevant segmentation target structures are identified and delineated. In a second stage, ...
Bernhard Preim
IPM
2007
86views more  IPM 2007»
13 years 7 months ago
Document concept lattice for text understanding and summarization
We argue that the quality of a summary can be evaluated based on how many concepts in the original document(s) that reserved after summarization. Here, a concept refers to an abst...
Shiren Ye, Tat-Seng Chua, Min-Yen Kan, Long Qiu
MT
2010
110views more  MT 2010»
13 years 6 months ago
Metrics for MT evaluation: evaluating reordering
Translating between dissimilar languages requires an account of the use of divergent word orders when expressing the same semantic content. Reordering poses a serious problem for s...
Alexandra Birch, Miles Osborne, Phil Blunsom