1188 search results - page 32 / 238 » Testing Semantics: Connecting Processes and Process Logics |
118
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
COLING
1996
15 years 3 months ago
1996
This paper presents a method for generating multiple paraphrases from ambiguous logical forms. The method is based on a chart structure with edges indexed on semantic information ...
113
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Hierarchical classifications are used pervasively by humans as a means to organize their data and knowledge about the world. One of their main advantages is that natural language ...
102
click to vote
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
The task of segmenting cell nuclei in microscope images is a classical image analysis problem. The accurate nuclei segmentation may contribute to development of successful system ...
114
click to vote
ENTCS
2008
15 years 2 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...