6583 search results - page 193 / 1317 » Semantic Analysis Patterns |
154
Voted
JUCS
2002
15 years 3 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
101
Voted
ARC
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we present the Quantitative Usage Analysis of Data (QUAD) tool, a sophisticated memory access tracing tool that provides a comprehensive quantitative analysis of mem...
137
click to vote
JCB
2008
15 years 3 months ago
2008
Traditionally nonrecombinant genome, i.e., mtDNA or Y chromosome, has been used for phylogeography, notably for ease of analysis. The topology of the phylogeny structure in this c...
93
Voted
MVA
2007
15 years 3 months ago
2007
We study a method of a feature extraction to discriminate emotions of human from a sensing data of human gait patterns as ”Biological motion data”. We assume that the high–d...
133
Voted
AAAI
2007
15 years 5 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...