15416 search results - page 27 / 3084 » Embeddings of Computable Structures |
117
click to vote
CGF
2007
15 years 20 days ago
2007
We propose a mesh segmentation algorithm via recursive bisection where at each step, a sub-mesh embedded in 3D is first spectrally projected into the plane and then a contour is ...
103
click to vote
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
107
click to vote
SAC
2008
ACM
15 years 4 days ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
134
click to vote
COMPGEOM
2004
ACM
15 years 6 months ago
2004
ACM
A frequently arising problem in computational geometry is when a physical structure, such as an ad-hoc wireless sensor network or a protein backbone, can measure local information...
110
click to vote
KR
1992
Springer
15 years 4 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...