Sciweavers

2181 search results - page 321 / 437
» The restriction scaffold problem
Sort
View
ECOOP
2010
Springer
14 years 1 months ago
Capabilities for Uniqueness and Borrowing
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
Philipp Haller, Martin Odersky
FUN
2010
Springer
263views Algorithms» more  FUN 2010»
14 years 1 months ago
Kaboozle Is NP-complete, Even in a Strip
Abstract. Kaboozle is a puzzle consisting of several square cards, each annotated with colored paths and dots drawn on both sides and holes drilled. The goal is to join two colored...
Tetsuo Asano, Erik D. Demaine, Martin L. Demaine, ...
LOPSTR
2001
Springer
14 years 1 months ago
On Deforesting Parameters of Accumulating Maps
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...
Kazuhiko Kakehi, Robert Glück, Yoshihiko Futa...
SEMWEB
2001
Springer
14 years 1 months ago
Brokerage of Intellectual Property Rights in the Semantic Web
New approaches in the Web environment are underway. These new methodologies try to leverage it from an information medium to a knowledgeable level, from a machine point of view. Th...
Roberto García, Jaime Delgado
WG
2001
Springer
14 years 1 months ago
Graph Subcolorings: Complexity and Algorithms
In a graph coloring, each color class induces a disjoint union of isolated vertices. A graph subcoloring generalizes this concept, since here each color class induces a disjoint un...
Jirí Fiala, Klaus Jansen, Van Bang Le, Eike...