3073 search results - page 482 / 615 » Real World Verification |
JMLR
2006
13 years 10 months ago
2006
The problem of finding the most probable (MAP) configuration in graphical models comes up in a wide range of applications. In a general graphical model this problem is NP hard, bu...
MAGS
2008
13 years 10 months ago
2008
Multi-Issue Negotiation protocols have been studied very widely and represent a promising field since most of negotiation problems in the realworld are complex ones including mult...
ENTCS
2007
13 years 10 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
EOR
2007
13 years 10 months ago
2007
The no-fit polygon is a construct that can be used between pairs of shapes for fast and efficient handling of geometry within irregular two-dimensional stock cutting problems. Pre...
MVA
2008
13 years 10 months ago
2008
The problem of automated visual surveillance has spawned a lively research area, with 2005 seeing three conferences or workshops and special issues of two major journals devoted to...