5918 search results - page 769 / 1184 » A view of cloud computing |
236
click to vote
CVPR
2012
IEEE
13 years 10 months ago
2012
IEEE
We present a method to detect the regions of interests in moving camera views of dynamic scenes with multiple moving objects. We start by extracting a global motion tendency that ...
238
click to vote
CVPR
2012
IEEE
13 years 10 months ago
2012
IEEE
An end-to-end real-time scene text localization and recognition method is presented. The real-time performance is achieved by posing the character detection problem as an efficie...
284
click to vote
AAAI
2012
13 years 10 months ago
2012
We extend work by Christian et al. [Review of Economic Design 2007] on lobbying in multiple referenda by first providing a more fine-grained analysis of the computational comple...
214
click to vote
DSN
2002
IEEE
16 years 19 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
228
click to vote
HICSS
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...