3335 search results - page 397 / 667 » Grid result checking |
201
click to vote
QEST
2007
IEEE
16 years 26 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
158
click to vote
SIPS
2007
IEEE
16 years 26 days ago
2007
IEEE
Stochastic decoding is a new alternative method for low complexity decoding of error-correcting codes. This paper presents the first hardware architecture for stochastic decoding...
188
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
207
click to vote
CCIA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...
184
click to vote
ECMDAFA
2007
Springer
16 years 23 days ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...