1146 search results - page 202 / 230 » Formal Specification Generation from Requirement Documents |
75
Voted
AAAI
1994
14 years 11 months ago
1994
In this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the know...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Mountain river torrents and snow avalanches generate human and material damages with dramatic consequences. Knowledge about natural phenomenona is often lacking and exper...
99
Voted
APIN
2006
14 years 9 months ago
2006
The problem of service and resource matching is being actively discussed currently as a new challenging task for the next generation of semantic discovery approaches for Web servic...
109
click to vote
ISB
2002
14 years 9 months ago
2002
ABSTRACT: Biochemical reactions form large and complex networks. Comprehensible visual representations of these networks help biochemists understand the relationships between the c...
68
Voted
IJMDEM
2010
14 years 7 months ago
2010
For large archives of audio media, just as with text archives, indexing is important for allowing quick and accurate searches. Similar to text archives, audio archives can use tex...