Sciweavers

WIA
2009
Springer
14 years 2 months ago
FAdo and GUItar
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
André Almeida, Marco Almeida, José A...
WIA
2009
Springer
14 years 2 months ago
Implementation of State Elimination Using Heuristics
Abstract. State elimination is an intuitive and easy-to-implement algorithm that computes a regular expression from a finite-state automaton (FA). The size of a regular expression...
Jae-Hee Ahn, Yo-Sub Han
WIA
2009
Springer
14 years 2 months ago
TAGED Approximations for Temporal Properties Model-Checking
Roméo Courbis, Pierre-Cyrille Héam, ...
AUSAI
2009
Springer
14 years 2 months ago
Modelling Object Typicality in Description Logics
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
Katarina Britz, Johannes Heidema, Thomas Andreas M...
AUSAI
2009
Springer
14 years 2 months ago
MML Invariant Linear Regression
Abstract. This paper derives two new information theoretic linear regression criteria based on the minimum message length principle. Both criteria are invariant to full rank affine...
Daniel F. Schmidt, Enes Makalic
AUSAI
2009
Springer
14 years 2 months ago
Decomposition of Multi-player Games
Dengji Zhao, Stephan Schiffel, Michael Thielscher
AUSAI
2009
Springer
14 years 2 months ago
Information-Theoretic Image Reconstruction and Segmentation from Noisy Projections
The minimum message length (MML) principle for inductive inference has been successfully applied to image segmentation where the images are modelled by Markov random fields (MRF)....
Gerhard Visser, David L. Dowe, Imants D. Svalbe
AUSAI
2009
Springer
14 years 2 months ago
Probabilistic Seeking Prediction in P2P VoD Systems
In P2P VoD streaming systems, user behavior modeling is critical to help optimise user experience as well as system throughput. However, it still remains a challenging task due to ...
Weiwei Wang, Tianyin Xu, Yang Gao, Sanglu Lu