8874 search results - page 1628 / 1775 » A New Implementation of Automath |
173
click to vote
GRID
2007
Springer
15 years 10 months ago
2007
Springer
— EGEE, along with its sister project LCG, manages the world’s largest Grid production infrastructure which is spreading nowadays over 260 sites in more than 40 countries. Just...
154
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The aggregation of objectives in multiple criteria programming is one of the simplest and widely used approach. But it is well known that these techniques sometimes fail ...
158
click to vote
ICCSA
2007
Springer
15 years 10 months ago
2007
Springer
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...
166
click to vote
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
122
Voted
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
— Field biologists use animal sounds to discover the presence of individuals and to study their behavior. Collecting bio-acoustic data has traditionally been a difficult and tim...