Sciweavers

2286 search results - page 9 / 458
» Algorithms for Categorical Equivalence
Sort
View
49
Voted
ITC
2002
IEEE
98views Hardware» more  ITC 2002»
15 years 2 months ago
A New Algorithm for Global Fault Collapsing into Equivalence and Dominance Sets
A. V. S. S. Prasad, Vishwani D. Agrawal, Madhusuda...
TACAS
2005
Springer
89views Algorithms» more  TACAS 2005»
15 years 3 months ago
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
Damien Bergamini, Nicolas Descoubes, Christophe Jo...
DKE
2008
100views more  DKE 2008»
14 years 9 months ago
PeRSSonal's core functionality evaluation: Enhancing text labeling through personalized summaries
In this manuscript we present the summarization and categorization subsystems of a complete mechanism that begins with web-page fetching and concludes with representation of the c...
Christos Bouras, Vassilis Poulopoulos, Vassilis Ts...