1188 search results - page 50 / 238 » Testing Semantics: Connecting Processes and Process Logics |
140
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
A sparse representation based method is proposed for text detection from scene images. We start with edge information extracted using Canny operator and then group these edge poin...
165
Voted
BNCOD
2007
15 years 5 months ago
2007
Order is essential for XML query processing. Efficient XML processing with order consideration over relational storage is non-trivial, especially for complex nested XQuery expressi...
108
Voted
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
148
Voted
UTP
2010
15 years 1 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
125
Voted
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...