2414 search results - page 334 / 483 » Computing Normal Subgroups |
126
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
174
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
138
click to vote
ISSADS
2005
Springer
15 years 10 months ago
2005
Springer
An intrusion detection system (IDS) usually has to analyse Giga-bytes of audit information. In the case of anomaly IDS, the information is used to build a user profile characteris...
151
click to vote
KIVS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
120
click to vote
SCIA
2005
Springer
15 years 10 months ago
2005
Springer
Estimation of inhomogeneous vectors is well-studied in estimation theory. For instance, given covariance matrices of input data allow to compute optimal estimates and characterize...