Sciweavers

2370 search results - page 191 / 474
» A Structured Set of Higher-Order Problems
Sort
View
DATE
2005
IEEE
93views Hardware» more  DATE 2005»
15 years 9 months ago
Model Reuse through Hardware Design Patterns
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...
Fernando Rincón, Francisco Moya, Jesú...
PARLE
1987
15 years 7 months ago
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
126
Voted
CIARP
2008
Springer
15 years 5 months ago
Cluster Stability Assessment Based on Theoretic Information Measures
Abstract. Cluster validation to determine the right number of clusters is an important issue in clustering processes. In this work, a strategy to address the problem of cluster val...
Damaris Pascual, Filiberto Pla, José Salvad...
99
Voted
CORR
2008
Springer
109views Education» more  CORR 2008»
15 years 3 months ago
A Generic Top-Down Dynamic-Programming Approach to Prefix-Free Coding
Given a probability distribution over a set of n words to be transmitted, the Huffman Coding problem is to find a minimal-cost prefix free code for transmitting those words. The b...
Mordecai Golin, Xiaoming Xu, Jiajin Yu
JSAC
2007
155views more  JSAC 2007»
15 years 3 months ago
Semantic social overlay networks
— Peer selection for query routing is a core task in peer-to-peer networks. Unstructured peer-to-peer systems (like Gnutella) ignore this problem, leading to an abundance of netw...
Alexander Löser, Steffen Staab, Christoph Tem...