846 search results - page 77 / 170 » Transforming structures by set interpretations |
133
Voted
TCAD
2002
15 years 2 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
123
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
144
Voted
EMSOFT
2010
Springer
15 years 18 days ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
94
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Circulant matrices play a central role in a recently proposed formulation of three-way data computations. In this setting, a three-way table corresponds to a matrix where each “...
110
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Advances in medical imaging technique make it possible to study shape variations of neuroanatomical structures in vivo, which has been proved useful in the study of neuropathology...