9842 search results - page 1855 / 1969 » The Complexity of the Matching-Cut Problem |
PCM
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In this paper, we investigate the problem of classifying a subset of environmental sounds in movie audio tracks that indicate specific indexical semiotic use. These envi...
POLICY
2001
Springer
14 years 2 months ago
2001
Springer
The Differentiated Services Architecture defines the mechanisms that are needed to offer multiple classes of services in an IP network. While this model offers significant scaling ...
RE
2001
Springer
14 years 2 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
SEMWEB
2001
Springer
14 years 2 months ago
2001
Springer
Querying the Web today can be a frustrating activity because the results delivered by syntactically oriented search engines often do not match the intentions of the user. The DARP...
SPIN
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...