4341 search results - page 462 / 869 » Quantitative Model checking |
306
click to vote
ICOODB
2010
15 years 4 months ago
2010
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...
190
click to vote
ISER
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
161
click to vote
ICSE
1995
IEEE-ACM
15 years 10 months ago
1995
IEEE-ACM
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
227
click to vote
ACL
2010
15 years 4 months ago
2010
Probabilistic latent topic models have recently enjoyed much success in extracting and analyzing latent topics in text in an unsupervised way. One common deficiency of existing to...
222
Voted
JMLR
2012
13 years 9 months ago
2012
We assess the generative power of the mPoTmodel of [10] with tiled-convolutional weight sharing as a model for visual textures by specifically training on this task, evaluating m...