1153 search results - page 136 / 231 » Compositional Specification Calculus for Information Systems... |
152
Voted
MM
2010
ACM
15 years 3 months ago
2010
ACM
The design and implementation of a search engine for lecture webcasts is described. A searchable text index is created allowing users to locate material within lecture videos foun...
118
Voted
TSP
2008
15 years 3 months ago
2008
In this paper, the problem of joint channel and carrier frequency offset (CFO) estimation is studied in the context of multiple-input multiple-output (MIMO) communications based on...
129
Voted
TIT
2002
15 years 3 months ago
2002
We develop methods for analyzing and constructing combined modulation/error-correctiong codes (ECC codes), in particular codes that employ some form of reversed concatenation and w...
145
Voted
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
125
Voted
IEAAIE
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...