1981 search results - page 308 / 397 » Model-Checking Hierarchical Structures |
227
Voted
EGPGV
2011
Springer
14 years 6 months ago
2011
Springer
We present parallel algorithms for processing, extracting and rendering adaptively sampled regular terrain datasets represented as a multiresolution model defined by a super-squa...
142
Voted
AAAI
2011
14 years 2 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...
129
click to vote
ISAAC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Range searching over tree cross products – a variant of classic range searching – recently has been introduced by Buchsbaum et al. (Proc. 8th ESA, vol. 1879 of LNCS, ...
127
click to vote
ESA
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
123
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific structural semantic markup language OM...