Sciweavers

9698 search results - page 239 / 1940
» models 2010
Sort
View
168
Voted
TCS
2010
15 years 1 months ago
Analysis of a cellular automaton model for car traffic with a slow-to-stop rule
We propose a modification of the widely known Benjamin-Johnson-Hui (BJH) cellular automaton model for single-lane traffic simulation. In particular, our model includes a `slow-to-...
Adam Clarridge, Kai Salomaa
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
NAACL
2010
15 years 4 months ago
A Hybrid Morphologically Decomposed Factored Language Models for Arabic LVCSR
In this work, we try a hybrid methodology for language modeling where both morphological decomposition and factored language modeling (FLM) are exploited to deal with the complex ...
Amr El-Desoky, Ralf Schlüter, Hermann Ney
CSDA
2010
194views more  CSDA 2010»
15 years 6 months ago
A clipped latent variable model for spatially correlated ordered categorical data
We propose a model for a point-referenced spatially correlated ordered categorical response and methodology for estimation of model parameters. Models and methods for spatially co...
Megan Dailey Higgs, Jennifer A. Hoeting
ICOODB
2010
171views Database» more  ICOODB 2010»
15 years 4 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...