14084 search results - page 288 / 2817 » A Theory for Game Theories |
176
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
We consider matrix groups, specified by a list of generators, over finite fields. The two most basic questions about such groups are membership in and the order of the group. Even...
186
Voted
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
193
Voted
SACI
2007
IEEE
16 years 1 months ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
182
click to vote
TPHOL
2005
IEEE
16 years 9 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
176
click to vote
ACMSE
2005
ACM
16 years 9 days ago
2005
ACM
Accurate identification of misuse is a key factor in determining appropriate ways to protect systems. Modern intrusion detection systems often use alerts from different sources su...