2602 search results - page 477 / 521 » Automatic Image Structure Analysis |
ECMDAFA
2010
Springer
14 years 16 days ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
AGP
1999
IEEE
14 years 1 days ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
DSOM
1999
Springer
14 years 10 hour ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
ACSE
1996
ACM
13 years 12 months ago
1996
ACM
In a university climate that sees rising student-sta ratios and increasing workloads for academics, any mechanism that reduces the student marking and assessment process must be w...
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...