1669 search results - page 100 / 334 » Structured Specification of Model Interpreters |
116
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
134
Voted
SERP
2004
15 years 4 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
127
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Active shape models are a powerful and widely used tool to interpret complex image data. By building models of shape variation they enable search algorithms to use a priori knowle...
134
Voted
PRDC
2006
IEEE
15 years 9 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
121
click to vote
COLING
2008
15 years 5 months ago
2008
In this paper we generalise the sentence compression task. Rather than simply shorten a sentence by deleting words or constituents, as in previous work, we rewrite it using additi...