Sciweavers

2664 search results - page 116 / 533
» Theory of processes
Sort
View
LICS
2005
IEEE
15 years 10 months ago
Name Generation and Linearity
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
Glynn Winskel
101
Voted
ACCV
2009
Springer
15 years 11 months ago
A Novel Visual Organization Based on Topological Perception
What are the primitives of visual perception? The early feature-analysis theory insists on it being a local-to-global process which has acted as the foundation of most computer vis...
Yongzhen Huang, Kaiqi Huang, Tieniu Tan, Dacheng T...
AAECC
2006
Springer
109views Algorithms» more  AAECC 2006»
15 years 4 months ago
Cryptosystems using Linear Groups
Several suggestions are presented for developing cryptosystems, both classical and public key, using a combination of combinatorial group theory and linear groups. In particular, t...
Gilbert Baumslag, Benjamin Fine, Xiaowei Xu
GLOBECOM
2007
IEEE
15 years 8 months ago
Mean-Field Analysis of Buffer Sizing
Two schools of thoughts have emerged over the recent debate on internet router buffer sizing. One school argues that the presence of a large number of flows leads to traffic desync...
Mei Wang
ICASSP
2011
IEEE
14 years 8 months ago
Smart grid monitoring for intrusion and fault detection with new locally optimum testing procedures
The vulnerability of smart grid systems is a growing concern. Signal detection theory is employed here to detect a change in the system. We employ a discrete-time linear state spa...
Qian He, Rick S. Blum