426 search results - page 66 / 86 » Towards Verifying Model Transformations |
110
click to vote
MM
2010
ACM
15 years 1 months ago
2010
ACM
Searching for small objects (e.g., logos) in images is a critical yet challenging problem. It becomes more difficult when target objects differ significantly from the query object...
135
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
180
click to vote
TSMC
2010
14 years 8 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
134
click to vote
STOC
2006
ACM
16 years 1 months ago
2006
ACM
The PCP theorem [3, 2] says that every language in NP has a witness format that can be checked probabilistically by reading only a constant number of bits from the proof. The cele...
126
click to vote
FGR
2008
IEEE
15 years 8 months ago
2008
IEEE
In this article we explore the use of methodologies for 3D reconstruction from multiple images to recognize faces. We try to devise a strategy to tackle the problem of recognizing...