2149 search results - page 46 / 430 » Form over Substance |
103
click to vote
AOSD
2003
ACM
15 years 5 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...
112
click to vote
KCAP
2005
ACM
15 years 5 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
COMBINATORICS
2002
14 years 11 months ago
2002
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is ...
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper presents the MIMO channel capacity over the Nakagami-m fading channel. The joint eigenvalue density function of W = HH† , where H is the channel matrix, is derived...
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...