2273 search results - page 214 / 455 » On the Expressiveness and Complexity of ATL |
155
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
We consider the problem of recommending the best set of k items when there is an inherent ordering between items, expressed as a set of prerequisites (e.g., the course ‘Real Ana...
172
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
180
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
195
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Adaptive modulation scheme has been widely used in multipleinput multiple-output (MIMO) systems to enhance the spectral efficiency while maintaining the bit-error-rate (BER) unde...
158
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...