Sciweavers

1291 search results - page 125 / 259
» Computing the multiplicity structure in solving polynomial s...
Sort
View
DATE
2006
IEEE
93views Hardware» more  DATE 2006»
15 years 7 months ago
Restructuring field layouts for embedded memory systems
In many computer systems with large data computations, the delay of memory access is one of the major performance bottlenecks. In this paper, we propose an enhanced field remappi...
Keoncheol Shin, Jungeun Kim, Seonggun Kim, Hwansoo...
WIOPT
2010
IEEE
15 years 2 days ago
Low complexity algorithms for relay selection and power control in interference-limited environments
Abstract—We consider an interference-limited wireless network, where multiple source-destination pairs compete for the same pool of relay nodes. In an attempt to maximize the sum...
Lazaros Gkatzikis, Iordanis Koutsopoulos
ICFEM
2009
Springer
14 years 11 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
ALMOB
2006
110views more  ALMOB 2006»
15 years 1 months ago
Computing distribution of scale independent motifs in biological sequences
The use of Chaos Game Representation (CGR) or its generalization, Universal Sequence Maps (USM), to describe the distribution of biological sequences has been found objectionable ...
Jonas S. Almeida, Susana Vinga
94
Voted
EICS
2010
ACM
15 years 6 months ago
Collaboratively maintaining semantic consistency of heterogeneous concepts towards a common concept set
In e-business, creating a common concept set for business integration, interoperation and interaction has to consider the heterogeneity reality of different interpretations from m...
Jingzhi Guo, Iok Ham Lam, Chun Chan, Guangyi Xiao