5465 search results - page 259 / 1093 » Assigning Types to Processes |
108
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Consider a discrete-time networked control scheme, in which the controller has direct access to noisy measurements of the plant’s output, but the controller and the actuator ...
150
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Modulation forensics is to detect the modulation type in wireless communications without any prior information. It nds both military and civilian applications such as surveillance...
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we investigate acoustic features which differentiate the two speech registers neutral and intimate within different constellations of speakers and addressees. Three...
110
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
117
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
With the widespread popularity of digital images and the presence of easy-to-use image editing software, content integrity can no longer be taken for granted, and there is a stron...