2253 search results - page 48 / 451 » The ComFoRT Reasoning Framework |
FLOPS
2001
Springer
14 years 1 months ago
2001
Springer
ICCBR
2001
Springer
14 years 1 months ago
2001
Springer
CONCUR
2011
Springer
12 years 8 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
FLAIRS
2006
13 years 10 months ago
2006
In this paper, we present a learning framework for the semantic annotation of text documents that can be used as textual cases in case-based reasoning applications. The annotation...
RE
2010
Springer
13 years 3 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...