2214 search results - page 251 / 443 » Complexity of Reasoning |
132
click to vote
IRI
2007
IEEE
16 years 22 days ago
2007
IEEE
Suppose we are given a set A of activities of interest, a set O of observations, and a probability threshold p. We are interested in finding the set of all pairs (a, O ), where a...
159
click to vote
VTC
2007
IEEE
16 years 21 days ago
2007
IEEE
— Current UWB systems apply convolutional codes as their channel coding scheme. For next generation systems LDPC codes are in discussion due to their outstanding communications p...
169
click to vote
CCS
2007
ACM
16 years 19 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
167
click to vote
COORDINATION
2007
Springer
16 years 19 days ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
168
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
Visualization of multidimensional data by means of Multidimensional Scaling (MDS) is a popular technique of exploratory data analysis widely usable, e.g. in analysis of bio-medica...