8828 search results - page 1160 / 1766 » Formal methods in practice |
157
click to vote
GREC
2005
Springer
16 years 29 days ago
2005
Springer
This paper presents a method of parameterization for online freehand drawing objects based on a piecewise cubic Bezier curve approximation. The target is to represent sketches in a...
193
click to vote
IDA
2005
Springer
16 years 28 days ago
2005
Springer
With the invention of biotechnological high throughput methods like DNA microarrays and the analysis of the resulting huge amounts of biological data, clustering algorithms gain ne...
228
click to vote
IPSN
2005
Springer
16 years 28 days ago
2005
Springer
—In current cooperative communication schemes, to achieve cooperative diversity, synchronization between terminals is usually assumed, which may not be practical since each termi...
197
click to vote
ISNN
2005
Springer
16 years 28 days ago
2005
Springer
It is important in bioinformatics research and applications to select or discover informative genes of a tumor from microarray data. However, most of the existing methods are based...
158
click to vote
MICAI
2005
Springer
16 years 28 days ago
2005
Springer
In most practical situations, agents need to continuously improve or repair their plans. In a multiagent system agents also need to coordinate their plans. Consequently, we need me...