2688 search results - page 237 / 538 » A formal semantics for P3P |
174
click to vote
TSD
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
202
click to vote
SEW
2006
IEEE
16 years 20 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
142
click to vote
ACSD
2005
IEEE
16 years 8 days ago
2005
IEEE
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
134
click to vote
ESWS
2005
Springer
16 years 5 days ago
2005
Springer
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users...
232
click to vote
IDA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...