3706 search results - page 57 / 742 » KtSeqC: System Description |
104
click to vote
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
109
click to vote
SBACPAD
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents the cache configuration exploration of a programmable system, in order to find the best matching between the architecture and a given application. Here, prog...
ANLP
1994
14 years 11 months ago
1994
Biological specimens have historicallybeen labeled with English descriptions of the location of collection. To perform spatial, statistical, or historic studies, these description...
102
click to vote
EWCBR
1998
Springer
15 years 2 months ago
1998
Springer
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...
APWEB
2006
Springer
15 years 1 months ago
2006
Springer
In using web search engines, there are cases where the name of the target object is unavailable, and the user can only give the visual descriptions of the object. The existing keyw...