13917 search results - page 2502 / 2784 » Abstraction of Probabilistic Systems |
190
click to vote
JSAC
2006
15 years 7 months ago
2006
Abstract--Although the capacity of multiple-input/multipleoutput (MIMO) broadcast channels (BCs) can be achieved by dirty paper coding (DPC), it is difficult to implement in practi...
213
click to vote
ENTCS
2007
15 years 7 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
212
click to vote
ML
2008
ACM
15 years 7 months ago
2008
ACM
Abstract We present a new margin-based approach to first-order rule learning. The approach addresses many of the prominent challenges in first-order rule learning, such as the comp...
188
click to vote
JSW
2006
15 years 7 months ago
2006
Abstract-- Solving complex real-world problems using evolutionary computation is a CPU time-consuming task that requires a large amount of computational resources. Peerto-Peer (P2P...
183
click to vote
KES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract In general, avatar-based communication has a merit that it can represent non-verbal information. The simplest way of representing the non-verbal information is to capture ...