5718 search results - page 9 / 1144 » Modeling Rule Precision |
MSV
2007
13 years 9 months ago
2007
In this paper we introduce PRIMA: A PRecise vIsual language for Modeling with Agents, in a physical environment. Our objective is to design an expressive Domain Specific Visual La...
IANDC
2011
13 years 3 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
APPML
2008
13 years 8 months ago
2008
Let 2 be the unknown error variance of a linear model and let ^2 be the estimator of 2 based on the residual sum of squares. In this work, we show the precise asymptotics in the l...
ECML
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Robustly estimating the state-transition probabilities of highorder Markov processes is an essential task in many applications such as natural language modeling or protei...
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
We present a parametric walk model for a four-legged robot. The walk model is improved using a genetic algorithm, but unlike previous approaches, the fitness is determined in a ru...