421 search results - page 73 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
CSL
2010
Springer
14 years 11 months ago
2010
Springer
We propose a unified global entropy reduction maximization (GERM) framework for active learning and semi-supervised learning for speech recognition. Active learning aims to select...
108
click to vote
ILP
2007
Springer
15 years 5 months ago
2007
Springer
Machine-generated documents containing semi-structured text are rapidly forming the bulk of data being stored in an organisation. Given a feature-based representation of such data,...
LICS
2005
IEEE
15 years 4 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
LICS
2009
IEEE
15 years 5 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
LICS
2008
IEEE
15 years 5 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...