Sciweavers

4795 search results - page 368 / 959
» The Message Classification Model
Sort
View
NIPS
2004
15 years 8 months ago
Semi-supervised Learning via Gaussian Processes
We present a probabilistic approach to learning a Gaussian Process classifier in the presence of unlabeled data. Our approach involves a "null category noise model" (NCN...
Neil D. Lawrence, Michael I. Jordan
198
Voted
HT
2009
ACM
15 years 4 months ago
Tag vision: social knowledge for collaborative search
In this paper we describe a model of social and collaborative search based on the use of tags. First we will introduce the issues that drove us to the definition of this model, an...
Lara Marcellin, Roberto Politi
LICS
2003
IEEE
16 years 2 days ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
209
Voted
FSEN
2009
Springer
15 years 10 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz
SCP
2002
112views more  SCP 2002»
15 years 6 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...