5693 search results - page 945 / 1139 » Socially relevant computing |
140
click to vote
GIS
2009
ACM
15 years 9 months ago
2009
ACM
This paper looks at the problem of data prioritization, commonly found in mobile ad-hoc networks. The proposed general solution uses a machine learning approach in order to learn ...
157
Voted
HAIS
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a novel stochastic optimization approach to solve constrained economic load dispatch (ELD) problem using Hybrid Bacterial Foraging-Differential Evolution optimi...
141
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
144
click to vote
INAP
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents new techniques for focusing the discoveryof frequent itemsets within large, dense datasets containing highly frequent items. The existence of highly frequent i...
141
click to vote
DOLAP
2000
ACM
15 years 9 months ago
2000
ACM
A multidimensional database can be seen as a collection of multidimensional cubes, from which information is usually extracted by aggregation; aggregated data can be calculated ei...