1153 search results - page 136 / 231 » Compositional Specification Calculus for Information Systems... |
189
click to vote
MM
2010
ACM
15 years 6 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...
149
click to vote
TSP
2008
15 years 6 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...
149
click to vote
TIT
2002
15 years 5 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...
180
click to vote
SAC
2010
ACM
15 years 4 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...
152
click to vote
IEAAIE
1994
Springer
15 years 10 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...