4218 search results - page 465 / 844 » Complete sets of cooperations |
193
click to vote
GIS
2006
ACM
15 years 7 months ago
2006
ACM
Geospatial data is often used to predict or recommend movements of robots, people, or animals ("walkers"). Analysis of such systems can be combinatorially explosive. Eac...
194
click to vote
IANDC
2006
15 years 7 months ago
2006
Dynamic Programming solves combinatorial optimization problems by recursive decomposition and tabulation of intermediate results. The first step in the design of a dynamic program...
219
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
264
click to vote
INFSOF
2006
15 years 7 months ago
2006
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
173
click to vote
JAPLL
2006
15 years 7 months ago
2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...