Sciweavers

3233 search results - page 217 / 647
» Rule Modeling and Markup
Sort
View
137
Voted
LPNMR
1999
Springer
15 years 9 months ago
A Comparison of Sceptical NAF-Free Logic Programming Approaches
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
Grigoris Antoniou, Michael J. Maher, David Billing...
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
15 years 8 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova
121
Voted
ICASSP
2009
IEEE
15 years 8 months ago
The expected amplitude of overlapping partials of harmonic sounds
In analyzing polyphonic signals, the handling of overlapping partials is one important problem. The assumptions usually made for partial overlaps are the additivity of the linear ...
Chunghsin Yeh, Axel Roebel
152
Voted
SNPD
2010
15 years 6 months ago
Explaining Classification by Finding Response-Related Subgroups in Data
Abstract--A method for explaining results of a regressionbased classifier is proposed. The data is clustered using a metric extracted from the classifier. This way, clusters found ...
Elina Parviainen, Aki Vehtari
155
Voted
EACL
1989
ACL Anthology
15 years 6 months ago
Dialog Control in a Natural Language System
In this paper a method for controlling the dialog in a natural language (NL) system is presented. It provides a deep modeling of information processing based on time dependent pro...
Michael Gerlach, Helmut Horacek