1054 search results - page 119 / 211 » Translation Validation of System Abstractions |
205
click to vote
CIARP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...
246
click to vote
DILS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Success in the life sciences depends on access to information in knowledge bases and literature. Finding and extracting the relevant information depends on a user's ...
325
click to vote
CRV
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Contour features play an important role in object recognition. Psychological experiments have shown that maximum-curvature points are most distinctive along a contour [6...
180
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
190
click to vote
INAP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...