4814 search results - page 423 / 963 » Combining abstract interpreters |
189
Voted
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
170
Voted
FROCOS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
175
click to vote
HYBRID
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
182
click to vote
ICANN
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper, we consider the possibility of obtaining a kernel machine that is sparse in feature space and smooth in output space. Smooth in output space implies that t...
191
click to vote
ICCSA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The Common Scrambling Algorithm (CSA) is used to encrypt streams of video data in the Digital Video Broadcasting (DVB) system. The algorithm uses a combination of a strea...