2286 search results - page 222 / 458 » Algorithms for Categorical Equivalence |
164
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (ΣΠΣ) arithmetic circuit...
200
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
216
click to vote
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
—Recently, mobile social software has become an active area of research and development. A multitude of systems have been proposed over the past years that try to follow the succ...
156
click to vote
ICTAI
2007
IEEE
16 years 28 days ago
2007
IEEE
Domain filtering local consistencies, such as inverse consistencies, that only delete values and do not add new constraints are particularly useful in Constraint Programming. Alt...
181
click to vote
DASFAA
2005
IEEE
16 years 7 days ago
2005
IEEE
Formal concept analysis has become an active field of study for data analysis and knowledge discovery. A formal concept C is determined by its extent (the set of objects that fall...