844 search results - page 146 / 169 » Semantic Analysis of Matrix Structures |
114
Voted
TSD
2007
Springer
15 years 8 months ago
2007
Springer
Sound ontologies need to incorporate source unidentifiable sounds in an adequate and consistent manner. Computational lexical resources like WordNet have either inserted these des...
124
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
134
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
135
Voted
TREC
2003
15 years 3 months ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
123
Voted
ENTCS
2000
15 years 2 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...