2600 search results - page 520 / 520 » Tracking Complex Objects Using Graphical Object Models |
ASPDAC
2000
ACM
13 years 10 months ago
2000
ACM
Many intellectual property protection (IPP) techniques have been proposed. Their primary objectives are providing convincible proof of authorship with least degradation of the qua...
ICSE
2000
IEEE-ACM
13 years 9 months ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...
AIME
2005
Springer
13 years 7 months ago
2005
Springer
In the objective of building care team guidelines from field observations, this paper introduces a representation method for describing the medical collaborative activities during ...
ICEB
2004
13 years 7 months ago
2004
Simulations preserve the knowledge of complex dynamic systems and consequently transfer the knowledge of the cohesions of its elements to a specified target group. As the progress...
ICFP
2010
ACM
13 years 6 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...