1887 search results - page 335 / 378 » Annotation Framework Validation Using Domain Models |
135
Voted
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
112
click to vote
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
Dimensionality reduction via feature projection has been widely used in pattern recognition and machine learning. It is often beneficial to derive the projections not only based o...
236
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
119
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a practical approach for surface reconstruction of smooth mirror-like objects using sparse reflection correspondences (RCs). Assuming finite object motion with a fix...
139
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...