Sciweavers

1912 search results - page 157 / 383
» On the evaluation of argumentation formalisms
Sort
View
ICMI
2009
Springer
185views Biometrics» more  ICMI 2009»
15 years 4 months ago
Benchmarking fusion engines of multimodal interactive systems
This article proposes an evaluation framework to benchmark the performance of multimodal fusion engines. The paper first introduces different concepts and techniques associated wi...
Bruno Dumas, Rolf Ingold, Denis Lalanne
CEC
2008
IEEE
16 years 29 days ago
Real-time evolution of an embedded controller for an autonomous helicopter
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
Benjamin N. Passow, Mario A. Góngora, S. Co...
TACS
1994
Springer
15 years 10 months ago
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
Douglas J. Howe, Scott D. Stoller
PVLDB
2010
89views more  PVLDB 2010»
15 years 4 months ago
Recognizing Patterns in Streams with Imprecise Timestamps
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
Haopeng Zhang, Yanlei Diao, Neil Immerman
ICML
2009
IEEE
16 years 7 months ago
Learning Markov logic network structure via hypergraph lifting
Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. Learning ML...
Stanley Kok, Pedro Domingos