Sciweavers

1058 search results - page 108 / 212
» It's Doomed; We Can Prove It
Sort
View
POPL
2005
ACM
14 years 10 months ago
A simple typed intermediate language for object-oriented languages
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
Juan Chen, David Tarditi
ISMIS
2009
Springer
14 years 4 months ago
Relational Sequence Clustering for Aggregating Similar Agents
Many clustering methods are based on flat descriptions, while data regarding real-world domains include heterogeneous objects related to each other in multiple ways. For instance,...
Grazia Bombini, Nicola Di Mauro, Stefano Ferilli, ...
SYNASC
2005
IEEE
110views Algorithms» more  SYNASC 2005»
14 years 3 months ago
Performance Tuning of Evolutionary Algorithms Using Particle Sub Swarms
Particle Swarm Optimization (PSO) technique proved its ability to deal with very complicated optimization and search problems. This paper proposes a new particle swarm variant whi...
Crina Grosan, Ajith Abraham, Monica Nicoara
WISE
2002
Springer
14 years 3 months ago
A Unified Framework for Web Link Analysis
Web link analysis has been proved to provide significant enhancement to the precision of web search in practice. Among existing approaches, Kleinberg’s HITS and Google’s PageR...
Zheng Chen, Li Tao, Jidong Wang, Liu Wenyin, Wei-Y...
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
14 years 2 months ago
Resource sharing optimality in WiFi infrastructure networks
Abstract— In WiFi networks, mobile nodes compete for accessing a shared channel by means of a random access protocol called Distributed Coordination Function (DCF). Although this...
Laura Giarré, Giovanni Neglia, Ilenia Tinni...