14084 search results - page 227 / 2817 » A Theory for Game Theories |
128
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
183
click to vote
RSKT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A new interpretation of rules in rough set theory is introduced. According to the positive, boundary, and negative regions of a set, one can make a three-way decision: ac...
410
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
152
Voted
ISCAS
2007
IEEE
16 years 27 days ago
2007
IEEE
— The new theory of compressive sensing enables direct analog-to-information conversion of compressible signals at subNyquist acquisition rates. We develop new theory, algorithms...
214
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...