3053 search results - page 59 / 611 » Structured Objects: Modeling and Reasoning |
127
click to vote
ASC
2000
15 years 2 months ago
2000
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...
WSC
2004
15 years 2 months ago
2004
Garment manufacturers usually work with a short vision of the demand to come in the following months. So they want to borrow as little as possible while still making a good profit...
123
click to vote
ROBOCUP
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we propose an approach for tracking a moving target using Rao-Blackwellised particle filters. Such filters represent posteriors over the target location by a mixtur...
FMOODS
2003
15 years 2 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
149
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...