6020 search results - page 726 / 1204 » A New Approach to Model Counting |
187
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— A signal space diversity (SSD) scheme is one of techniques to achieve diversity gain in fading channels. This method consists of two key operations: constellation rotation and ...
204
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Web browsing is a complex activity and in general, users are not guided during browsing. Our hypothesis is that by using Semantic Web technologies and personalization methods, brow...
185
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
212
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, a modified version of the complex directional pyramid (PDTDFB) is proposed. Unlike the previous approach, the new FB provides an approximately tight-frame decom...
178
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...