Sciweavers

1943 search results - page 170 / 389
» Ordering Default Theories
Sort
View
ISCAS
2003
IEEE
169views Hardware» more  ISCAS 2003»
16 years 10 days ago
One class of transfer functions with monotonic step response
—The paper describes the transfer functions with monotonic step response. These functions required in design of wide-band pulse amplifiers were synthesized using the first semi-p...
Igor M. Filanovsky
DPPI
2003
ACM
16 years 9 days ago
Observing and probing
In this paper, we discuss and compare two user centred methods applied in concept design: observation and probes. The comparison is based on findings from two case studies. In the...
Vesa Jääskö, Tuuli Mattelmäki
BIRTHDAY
1997
Springer
15 years 11 months ago
Expressive Power of Unary Counters
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...
Michael Benedikt, H. Jerome Keisler
213
Voted
ISMIS
1994
Springer
15 years 11 months ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...
196
Voted
ICML
1994
IEEE
15 years 10 months ago
Reducing Misclassification Costs
We explore algorithms for learning classification procedures that attempt to minimize the cost of misclassifying examples. First, we consider inductive learning of classification ...
Michael J. Pazzani, Christopher J. Merz, Patrick M...