3238 search results - page 349 / 648 » Not Enough Points Is Enough |
174
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
In the STS-based mapping, we are requested to obtain the correct order of probes in a DNA sequence from a given set of fragments or equivalently a hybridization matrix A. It is wel...
173
click to vote
ISCIS
2004
Springer
16 years 3 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
151
click to vote
LCPC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Parallel loops account for the greatest percentage of program parallelism. The degree to which parallelism can be exploited and the amount of overhead involved during par...
184
click to vote
LPAR
2004
Springer
16 years 3 days ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...
170
click to vote
MDM
2004
Springer
16 years 3 days ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...