Sciweavers

1489 search results - page 36 / 298
» The First Bug Report
Sort
View
163
Voted
LORI
2009
Springer
15 years 10 months ago
First-Order Logic Formalisation of Arrow's Theorem
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
Umberto Grandi, Ulle Endriss
156
Voted
AIIA
2005
Springer
15 years 9 months ago
Handling Continuous-Valued Attributes in Incremental First-Order Rules Learning
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
Teresa Maria Altomare Basile, Floriana Esposito, N...
140
Voted
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
15 years 9 months ago
A First Step Towards Hw/Sw Partitioning of UML Specifications
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
William Fornaciari, P. Micheli, Fabio Salice, L. Z...
138
Voted
ILP
2000
Springer
15 years 7 months ago
Learning First Order Logic Time Series Classifiers
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...
Juan José Rodríguez, Carlos J. Alons...
157
Voted
CHI
2006
ACM
15 years 5 months ago
Shaping user input in speech graffiti: a first pass
Speech Graffiti is a standardized interaction protocol for spoken dialog systems designed to address some common difficulties with ASR. We have proposed a strategy of shaping to h...
Stefanie Tomko, Roni Rosenfeld