10891 search results - page 1567 / 2179 » Combining Model Reductions |
172
Voted
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
150
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of a...
131
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
A new method is proposed for the blind subspace-based identification of the coefficients of time-varying (TV) single-input multiple-output (SIMO) FIR channels. The TV channel coef...
170
click to vote
AH
2006
Springer
15 years 9 months ago
2006
Springer
We built a Web-based adaptive recommendation system for students to select and suggest architectural cases when they analyze "Case Study" work within the architectural de...
156
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...