Sciweavers

11121 search results - page 18 / 2225
» Computing with Continuous Change
Sort
View
JSYML
2000
56views more  JSYML 2000»
14 years 11 months ago
Computability over The Partial Continuous Functionals
We show that to every recursive total continuous functional there is a representative of in the hierearchy of partial continuous functionals such that is S1 - S9 computable ov...
Dag Normann
IWFM
2003
172views Formal Methods» more  IWFM 2003»
15 years 1 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
CIS
2005
Springer
15 years 5 months ago
Survivability Computation of Networked Information Systems
Abstract. Survivability should be considered beyond security for networked information systems, which emphasizes the ability of continuing providing services timely in malicious en...
Xuegang Lin, Rongsheng Xu, Miaoliang Zhu
ICPR
2008
IEEE
15 years 6 months ago
A computer vision based camera pedestal's vertical motion control
. Traditional camera pedestals are manually operated. Our long term goal is to construct a fully autonomous pedestal system which can respond to changes in a scene and mimicking t...
Richard Yi Da Xu, Joshua M. Brown, Jason M. Traish...