769 search results - page 83 / 154 » Identifying objects in legacy systems |
TARK
2007
Springer
14 years 1 months ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
ICEIS
2003
IEEE
14 years 1 months ago
2003
IEEE
: A major problem that arises from integrating different databases is the existence of duplicates. Data cleaning is the process for identifying two or more records within the datab...
LREC
2008
13 years 9 months ago
2008
The objective of the Semiotic-based Ontology Evaluation Tool (S-OntoEval) is to evaluate and propose improvements to a given ontological model. The evaluation aims at assessing th...
MVA
2007
13 years 9 months ago
2007
This paper presents a recognition method for human behavior identification based on motion history image theory. The motion history image has the advantage that it can record the ...