4581 search results - page 797 / 917 » Computing Transformation Semigroups |
181
click to vote
PAMI
2008
15 years 6 months ago
2008
A camera mounted on an aerial vehicle provides an excellent means to monitor large areas of a scene. Utilizing several such cameras on different aerial vehicles allows further flex...
161
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
157
click to vote
SIGOPS
2008
15 years 6 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
162
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
The new concept and method of imposing imprecise (fuzzy) input and output data upon the conventional linear regression model is proposed in this paper. We introduce the fuzzy scala...
159
click to vote
ALIFE
2005
15 years 6 months ago
2005
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...