528 search results - page 77 / 106 » Transition Logic Revisited |
118
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
FSKD
2007
Springer
15 years 8 months ago
2007
Springer
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
110
click to vote
ACSC
2005
IEEE
15 years 7 months ago
2005
IEEE
Segmentation is the first step in managing data for many information retrieval tasks. Automatic audio transcriptions and digital video footage are typically continuous data sourc...
125
click to vote
ICDT
2005
ACM
15 years 7 months ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...