384 search results - page 44 / 77 » On the Semantics of Markov Automata |
132
click to vote
IWRIDL
2006
ACM
15 years 7 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
110
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
IJCAI
1989
15 years 3 months ago
1989
A new formalism for building network models in Prolog is proposed. It is based on a new semantic interpretation of the Prolog variables and clauses, which are used to represent th...
160
click to vote
ECCV
2010
Springer
14 years 12 months ago
2010
Springer
In this paper, we propose a robust supervised label transfer method for the semantic segmentation of street scenes. Given an input image of street scene, we first find multiple ima...
110
click to vote
EMNLP
2007
15 years 3 months ago
2007
Many systems for tasks such as question answering, multi-document summarization, and information retrieval need robust numerical measures of lexical relatedness. Standard thesauru...