844 search results - page 37 / 169 » Semantic Analysis of Matrix Structures |
134
Voted
RIAO
2000
15 years 4 months ago
2000
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
136
Voted
SIAMSC
2011
14 years 9 months ago
2011
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
142
Voted
DOCENG
2003
ACM
15 years 8 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
139
Voted
IWRIDL
2006
ACM
15 years 8 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
ENTCS
2007
15 years 2 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....