8874 search results - page 367 / 1775 » A New Implementation of Automath |
260
click to vote
PCS
2011
15 years 1 months ago
2011
The purpose of this paper is twofold. An immediate practical use of the presented algorithm is its applicability to the parametric solution of underdetermined linear ordinary diļ¬...
232
click to vote
PVLDB
2011
15 years 1 months ago
2011
Users of MapReduce often run into performance problems when they scale up their workloads. Many of the problems they encounter can be overcome by applying techniques learned from ...
210
click to vote
SIMULATION
2011
15 years 1 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
160
click to vote
TSP
2011
15 years 1 months ago
2011
āIn this paper, a new particle ļ¬lter (PF) which we refer to as the decentralized PF (DPF) is proposed. By ļ¬rst decomposing the state into two parts, the DPF splits the ļ¬lte...
182
click to vote
TVCG
2011
15 years 1 months ago
2011
āMetro maps are schematic diagrams of public transport networks that serve as visual aids for route planning and navigation tasks. It is a challenging problem in network visualiz...