860 search results - page 87 / 172 » Japanese Case Structure Analysis |
151
click to vote
ACTA
2000
15 years 4 months ago
2000
Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of ...
168
click to vote
AIIA
1991
Springer
15 years 8 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
147
click to vote
JCB
2008
15 years 4 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...
146
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
122
click to vote
IV
2006
IEEE
15 years 10 months ago
2006
IEEE
Most applications in physical calculations provide powerful multivariate outputs but use rather simple visual representations (diagrams) without the possibilities to explore the r...