Sciweavers

10539 search results - page 102 / 2108
» On L
Sort
View
CSL
1999
Springer
14 years 1 months ago
A Logical Viewpoint on Process-Algebraic Quotients
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if Ï...
Antonín Kucera, Javier Esparza
ERCIMDL
1999
Springer
103views Education» more  ERCIMDL 1999»
14 years 1 months ago
Text-Based Approaches for the Categorization of Images
Carl L. Sable, Vasileios Hatzivassiloglou