2302 search results - page 198 / 461 » Testing as Abstraction |
151
click to vote
DAARC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper, we present a systematic evaluation of a hybrid approach of combined rule-based filtering and machine learning to Dutch coreference resolution. Through the...
162
click to vote
ECOWS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In recent years a huge amount of effort and money has been invested in the area of semantic service discovery and presented approaches have become more sophisticated and...
136
click to vote
ESA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a new algorithm that can output the rankdecomposition of width at most k of a graph if such exists. For that we use an algorithm that, for an input matroid rep...
167
click to vote
FROCOS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
160
click to vote
IBPRIA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. One main process in Computer Vision is image segmentation as a tool to other visual tasks. Although there are many approaches to grey scale image segmentation, nowadays m...