2016 search results - page 66 / 404 » Megamaps: Construction and Examples |
133
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We address the problem of large-scale annotation of web images. Our approach is based on the concept of visual synset, which is an organization of images which are visually-simila...
128
Voted
WSC
1997
15 years 5 months ago
1997
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
174
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We present several new characterizations of correlated equilibria in games with continuous utility functions. These have the advantage of being more computationally and analytical...
155
click to vote
TII
2010
14 years 11 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
110
click to vote
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....