3207 search results - page 81 / 642 » A Semantics for HTN Methods |
IFM
1999
Springer
15 years 2 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
115
click to vote
ECCV
2010
Springer
14 years 7 months ago
2010
Springer
In this paper, we propose a robust supervised label transfer method for the semantic segmentation of street scenes. Given an input image of street scene, we first find multiple ima...
WCRE
2009
IEEE
15 years 4 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
SEMCO
2007
IEEE
15 years 4 months ago
2007
IEEE
A clustering method is presented which can be applied to knowledge bases storing semantically annotated resources. The method can be used to discover groupings of structured objec...
ASIAN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...