2357 search results - page 213 / 472 » Computing Refactorings of Behavior Models |
151
click to vote
KDD
1999
ACM
15 years 10 months ago
1999
ACM
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...
177
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
Many social networks can be characterized by a sequence of dyadic interactions between individuals. Techniques for analyzing such events are of increasing interest. In this paper,...
176
click to vote
EOR
2007
15 years 6 months ago
2007
In this paper, we present a stochastic version of the Location Model with Risk Pooling (LMRP) that optimizes location, inventory, and allocation decisions under random parameters ...
200
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
211
click to vote
EMNLP
2010
15 years 4 months ago
2010
Using multi-layer neural networks to estimate the probabilities of word sequences is a promising research area in statistical language modeling, with applications in speech recogn...