7820 search results - page 328 / 1564 » Formalization of Time and Space |
164
click to vote
CPM
2003
Springer
16 years 22 days ago
2003
Springer
Given n fragments from k > 2 genomes, we will show how to find an optimal chain of colinear non-overlapping fragments in time O(n logk−2 n log log n) and space O(n logk−2 n...
235
click to vote
COMPGEOM
2005
ACM
15 years 9 months ago
2005
ACM
We present a near linear time algorithm for constructing hierarchical nets in finite metric spaces with constant doubling dimension. This data-structure is then applied to obtain...
284
click to vote
ICLP
2011
Springer
14 years 11 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
214
click to vote
JSCIC
2007
15 years 7 months ago
2007
In this work a new class of numerical methods for the BGK model of kinetic equations is presented. In principle, schemes of any order of accuracy in both space and time can be con...
182
Voted
SEAL
1998
Springer
15 years 11 months ago
1998
Springer
The allocation of office space in any large institution is usually a problematical issue, which often demands a substantial amount of time to perform manually. The result of this a...