Sciweavers

1188 search results - page 120 / 238
» Generating Connectives
Sort
View
113
Voted
JUCS
2010
157views more  JUCS 2010»
15 years 1 months ago
Entropy Optimization of Social Networks Using an Evolutionary Algorithm
: Recent work on social networks has tackled the measurement and optimization of these networks’ robustness and resilience to both failures and attacks. Different metrics have be...
Maytham Safar, Nosayba El-Sayed, Khaled Mahdi, Dav...
125
Voted
BIBE
2006
IEEE
160views Bioinformatics» more  BIBE 2006»
15 years 9 months ago
Methods for Random Modularization of Biological Networks
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
Zachary M. Saul, Vladimir Filkov
132
Voted
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 10 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
CIKM
2000
Springer
15 years 7 months ago
Object and Query Transformation: Supporting Multi-Dimensional Queries through Code Reuse
The complexity of deploying high-performance spatial structures in transactional DBMS environments has motivated researchers to experiment with the idea of reusing the effort inve...
Ratko Orlandic, Byunggu Yu
ASPDAC
2008
ACM
109views Hardware» more  ASPDAC 2008»
15 years 5 months ago
TCG-based multi-bend bus driven floorplanning
Abstract--In this paper, the problem of bus driven floorplanning is addressed. Given a set of modules and bus specifications, a floorplan solution including the bus routes will be ...
Tilen Ma, Evangeline F. Y. Young