1788 search results - page 95 / 358 » Model Theory for Process Algebra |
109
click to vote
DSMML
2004
Springer
15 years 6 months ago
2004
Springer
Learning curves for Gaussian process (GP) regression can be strongly affected by a mismatch between the ‘student’ model and the ‘teacher’ (true data generation process), e...
146
click to vote
ICWS
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
ICIP
1994
IEEE
16 years 2 months ago
1994
IEEE
Mapping the location of brain activity is a new and exciting application of magnetic resonance imaging (MRI). This application area has already seen the use of a variety of magnet...
94
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
QI
2009
Springer
15 years 7 months ago
2009
Springer
Information Retrieval (IR) systems try to identify documents relevant to user queries, which are representations of user information needs. Interaction, context, and document struc...