Sciweavers

7554 search results - page 952 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
16 years 14 days ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
ICA
2004
Springer
16 years 13 days ago
Post-nonlinear Independent Component Analysis by Variational Bayesian Learning
Post-nonlinear (PNL) independent component analysis (ICA) is a generalisation of ICA where the observations are assumed to have been generated from independent sources by linear mi...
Alexander Ilin, Antti Honkela
ICA
2004
Springer
16 years 13 days ago
Independent Slow Feature Analysis and Nonlinear Blind Source Separation
We present independent slow feature analysis as a new method for nonlinear blind source separation. It circumvents the indeterminacy of nonlinear independent component analysis by ...
Tobias Blaschke, Laurenz Wiskott
ISMIR
2004
Springer
201views Music» more  ISMIR 2004»
16 years 13 days ago
MIR In Matlab: The MIDI Toolbox
(150-200 words) The MIDI Toolbox is a compilation of functions for analyzing and visualizing MIDI files in the Matlab computing environment. In this article, the basic issues of th...
Tuomas Eerola, Petri Toiviainen
ICRA
2003
IEEE
124views Robotics» more  ICRA 2003»
16 years 10 days ago
Self-assembly in space via self-reconfigurable robots
― Self-assembly systems in space are arguably within the reach of today’s technology based on the research and development of self-reconfigurable robots on earth. This paper pr...
Wei-Min Shen, Peter M. Will, Berok Khoshnevis