1188 search results - page 209 / 238 » Testing Semantics: Connecting Processes and Process Logics |
138
click to vote
ICTAI
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper addresses the issue of effective and efficient content based image retrieval by presenting a novel indexing and retrieval methodology that integrates color, texture, an...
ICDAR
1999
IEEE
15 years 6 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
122
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
105
click to vote
FORTE
2004
15 years 3 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
120
click to vote
AIPS
2003
15 years 3 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...