Sciweavers

28 search results - page 4 / 6
» ci 2006
Sort
View
IANDC
2000
64views more  IANDC 2000»
14 years 10 months ago
Bisimilarity of Open Terms
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
Arend Rensink
MST
2010
103views more  MST 2010»
14 years 8 months ago
Border Correlations of Partial Words
Partial words are finite sequences over a finite alphabet A that may contain a number of “do not know” symbols denoted by ’s. Setting A = A ∪ { }, A∗ denotes the set o...
Francine Blanchet-Sadri, E. Clader, O. Simpson
CI
2011
93views more  CI 2011»
14 years 5 months ago
Supporting clinical processes and decisions by hierarchical planning and scheduling
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
Juan Fernández-Olivares, Luis A. Castillo, ...
FCCM
2006
IEEE
125views VLSI» more  FCCM 2006»
15 years 4 months ago
A Multithreaded Soft Processor for SoPC Area Reduction
The growth in size and performance of Field Programmable Gate Arrays (FPGAs) has compelled System-on-aProgrammable-Chip (SoPC) designers to use soft processors for controlling sys...
Blair Fort, Davor Capalija, Zvonko G. Vranesic, St...
92
Voted
JGT
2006
92views more  JGT 2006»
14 years 10 months ago
Characterization of edge-colored complete graphs with properly colored Hamilton paths
An edge-colored graph H is properly colored if no two adjacent edges of H have the same color. In 1997, J. Bang-Jensen and G. Gutin conjectured that an edgecolored complete graph ...
Jinfeng Feng, Hans-Erik Giesen, Yubao Guo, Gregory...