1547 search results - page 308 / 310 » The Isabelle Collections Framework |
98
Voted
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
A collaborative framework for detecting the different sources in mixed signals is presented in this paper. The approach is based on CHiLasso, a convex collaborative hierarchical s...
106
Voted
INFOCOM
2011
IEEE
14 years 2 months ago
2011
IEEE
—Top-k query has long been an important topic in many fields of computer science. Efficient implementation of the top-k queries is the key for information searching. With the n...
58
Voted
AEOG
2011
13 years 10 months ago
2011
The generalization index system is one of the critical issues for computer-aided land use database generalization. This paper studies the scale and land use pattern effects on lan...
110
Voted
ATAL
2011
Springer
13 years 10 months ago
2011
Springer
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
142
click to vote
CANDC
2011
ACM
13 years 10 months ago
2011
ACM
This paper describes a computerized aesthetic composition task that is based on a “creativity as search” metaphor. The technique collects detailed, moment-to-moment data about...