9931 search results - page 485 / 1987 » Generative Modeling by PRISM |
183
click to vote
ESORICS
2003
Springer
16 years 3 days ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
204
click to vote
SSDBM
1992
IEEE
15 years 11 months ago
1992
IEEE
Ecological surveys generate large quantities of data database technology has not yet reached its full potential in this area. Here we investigate approaches to modelling ecologica...
188
click to vote
NIPS
2008
15 years 8 months ago
2008
Extensive labeled data for image annotation systems, which learn to assign class labels to image regions, is difficult to obtain. We explore a hybrid model framework for utilizing...
223
click to vote
NIPS
1997
15 years 8 months ago
1997
The observed distribution of natural images is far from uniform. On the contrary, real images have complex and important structure that can be exploited for image processing, reco...
144
click to vote
WSC
2000
15 years 8 months ago
2000
This paper describes the development of a traffic-modeling tool as an Arena template and two applications of it: one to evaluate alternative designs for the road network on the pr...