1746 search results - page 161 / 350 » A Constructive Semantics for ALC |
249
Voted
IDA
2005
Springer
16 years 16 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...
178
Voted
WEBI
2005
Springer
16 years 15 days ago
2005
Springer
We present a middleware system that facilitates Internet users’ access to web-based digital music libraries and allows them to manipulate audio meta-information taking into cons...
157
click to vote
IJCNLP
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. This paper proposes the use of Latent Semantic Indexing (LSI) techniques, decomposed with semi-discrete matrix decomposition (SDD) method, for text categorization. The SD...
202
Voted
TLDI
2003
ACM
16 years 8 days ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
181
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Whilst it is a common task in systems integration to have to transform between di erent semantic data models, such inter-model transformations are often speci ed in an ad hoc manne...