2664 search results - page 116 / 533 » Theory by Process |
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
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 ...
ACCV
2009
Springer
14 years 2 months ago
2009
Springer
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...
AAECC
2006
Springer
13 years 8 months ago
2006
Springer
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...
GLOBECOM
2007
IEEE
14 years 2 days ago
2007
IEEE
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...
ICASSP
2011
IEEE
12 years 12 months ago
2011
IEEE
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...