4581 search results - page 260 / 917 » Computing Transformation Semigroups |
194
click to vote
LPNMR
2007
Springer
16 years 23 days ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
190
click to vote
VISUALIZATION
2003
IEEE
15 years 12 months ago
2003
IEEE
We present techniques for discovering and exploiting regularity in large curvilinear data sets. The data can be based on a single mesh or a mesh composed of multiple submeshes (al...
169
click to vote
POPL
2003
ACM
15 years 12 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
197
click to vote
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
184
click to vote
CVPR
1996
IEEE
16 years 8 months ago
1996
IEEE
This paper presents a general formulation enabling determination of all functions that are steerable under any transformation group. These steerable functions are determinedunique...