5451 search results - page 921 / 1091 » Typed Operational Semantics |
112
click to vote
ICNC
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes an improved genetic algorithm for producing aesthetically pleasing drawings of general undirected graphs. Previous undirected graph drawing algorithms draw larg...
143
click to vote
ISVC
2005
Springer
15 years 9 months ago
2005
Springer
The extraction of consistent skeletons in the presence of boundary noise is still a problem for most skeletonization algorithms. Many suppress skeletons associated with boundary pe...
129
click to vote
MYCRYPT
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = k i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤ c + o(1) ¡ log n log log n ....
121
click to vote
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
112
click to vote
ACMMSP
2004
ACM
15 years 9 months ago
2004
ACM
This work details a performance study of six different types of commodity memories in two commodity server nodes. A number of micro-benchmarks are used that measure low-level perf...