Sciweavers

2286 search results - page 9 / 458
» Algorithms for Categorical Equivalence
Sort
View
ITC
2002
IEEE
98views Hardware» more  ITC 2002»
14 years 11 days 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»
14 years 28 days ago
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
Damien Bergamini, Nicolas Descoubes, Christophe Jo...
DKE
2008
100views more  DKE 2008»
13 years 7 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...