23119 search results - page 361 / 4624 » From Domain to Requirements |
296
Voted
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
154
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper introduces the application of the feature transformation approach proposed by Torkkola [1] to the domain of image processing. Thereto, we extended the approach...
163
Voted
ECBS
2010
IEEE
16 years 5 days ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
190
Voted
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
āIn many search domains, both contents and searches are frequently tied to named entities such as a person, a company or similar. An example of such a domain is a news archive. O...
216
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Interest point detection in still images is a well-studied topic in computer vision. In the spatiotemporal domain, however, it is still unclear which features indicate useful inter...