Sciweavers

4485 search results - page 52 / 897
» Equivalences on Observable Processes
Sort
View
CSFW
1999
IEEE
14 years 1 months ago
Process Algebra and Non-Interference
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
Peter Y. A. Ryan, Steve A. Schneider
ICCV
2003
IEEE
14 years 10 months ago
Minimally-Supervised Classification using Multiple Observation Sets
This paper discusses building complex classifiers from a single labeled example and vast number of unlabeled observation sets, each derived from observation of a single process or...
Chris Stauffer
CONCUR
2008
Springer
13 years 10 months ago
A Context-Free Process as a Pushdown Automaton
A well-known theorem in automata theory states that every context-free language is accepted by a pushdown automaton. We investigate this theorem in the setting of processes, using ...
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. ...
CVPR
2003
IEEE
14 years 10 months ago
Switching Observation Models for Contour Tracking in Clutter
In Proc. of IEEE Conf. on CVPR'03, Madison, Wisconsin, 2003 We propose a generative model approach to contour tracking against non-stationary clutter and to coping with occlu...
Ying Wu, Gang Hua, Ting Yu
NIPS
2007
13 years 10 months ago
Neural characterization in partially observed populations of spiking neurons
Point process encoding models provide powerful statistical methods for understanding the responses of neurons to sensory stimuli. Although these models have been successfully appl...
Jonathan Pillow, Peter E. Latham