8874 search results - page 1673 / 1775 » A New Implementation of Automath |
149
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Structured data including sets, sequences, trees and graphs, pose significant challenges to fundamental aspects of data management such as efficient storage, indexing, and simila...
131
click to vote
EMO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Most existing evolutionary approaches to multiobjective optimization aim at finding an appropriate set of compromise solutions, ideally a subset of the Pareto-optimal se...
130
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
175
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Nowadays, object recognition is widely studied under the paradigm of matching local features. This work describes a genetic programming methodology that synthesizes mathematical e...
146
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
This paper proposes a method for generating a Focus+Glue +Context map for Web map services by improving existing fisheye views methods for cartographic data. While many studies h...