Sciweavers

2553 search results - page 323 / 511
» Modeling Trees with Hypertextures
Sort
View
POPL
1991
ACM
15 years 10 months ago
Subtyping Recursive Types
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
Roberto M. Amadio, Luca Cardelli
ESEM
2007
ACM
15 years 8 months ago
Mining Software Evolution to Predict Refactoring
Can we predict locations of future refactoring based on the development history? In an empirical study of open source projects we found that attributes of software evolution data ...
Jacek Ratzinger, Thomas Sigmund, Peter Vorburger, ...
NETWORKING
2004
15 years 7 months ago
Distributed Algorithm for Service Replication in Service Overlay Network
The service overlay network (SON) is an effective mean to deploy end-to-end QoS guaranteed content delivery services on the current Internet. We model the content delivery service ...
Kevin Y. K. Liu, John C. S. Lui, Zhi-Li Zhang
TREC
2001
15 years 7 months ago
Machine Learning Approach for Homepage Finding Task
This paper describes new machine learning approaches to predict the correct homepage in response to a user's homepage finding query. This involves two phases. In the first ph...
Wensi Xi, Edward A. Fox
GISCIENCE
2010
Springer
212views GIS» more  GISCIENCE 2010»
15 years 7 months ago
Qualitative Change to 3-Valued Regions
Regions which evolve over time are a significant aspect of many phenomena in geographic information science. Examples include areas in which a measured value (e.g. temperature, sal...
Matt Duckham, John G. Stell, Maria Vasardani, Mich...