4679 search results - page 449 / 936 » Modeling When Connections Are the Problem |
178
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
173
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Segmentation of individual actions from a stream of human motion is an open problem in computer vision. This paper approaches the problem of segmenting higher-level activities int...
175
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
In this paper the online pull-based broadcast model is considered. In this model, there are n pages of data stored at a server and requests arrive for pages online. When the serve...
204
click to vote
ICIG
2009
IEEE
16 years 1 months ago
2009
IEEE
Categorizing multiple objects in images is essentially a structured prediction problem: the label of an object is in general dependent on the labels of other objects in the image....
193
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a max margin framework on image annotation and multimodal image retrieval as a structured prediction model. Following the max margin approach the image retriev...