1882 search results - page 282 / 377 » Transformational Programming and Forests |
124
click to vote
CSR
2009
Springer
15 years 11 months ago
2009
Springer
Muchnik’s theorem about simple conditional descriptions states that for all strings a and b there exists a short program p transforming a to b that has the least possible length ...
134
click to vote
AINA
2008
IEEE
15 years 11 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
141
click to vote
SEFM
2008
IEEE
15 years 11 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
162
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Current day network processors incorporate several architectural features including symmetric multi-processing (SMP), block multi-threading, and multiple memory elements to suppor...
142
Voted
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a novel 2D/3D approach for 3D model matching and retrieving. Each model is represented by a set of depth lines which will be afterward transformed into s...