116 search results - page 4 / 24 » Deduction Systems for Coalgebras Over Measurable Spaces |
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
— A main difficulty for orbit determination of space debris is the correlation of tracks of data belonging to the same physical object. A sequence of optical measurements of an ...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...
SAC
2010
ACM
14 years 1 months ago
2010
ACM
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
ACSC
2010
IEEE
13 years 1 months ago
2010
IEEE
One of the major challenges facing a present day game development company is the removal of bugs from such complex virtual environments. This work presents an approach for measuri...
SPC
2005
Springer
13 years 11 months ago
2005
Springer
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...