344 search results - page 32 / 69 » Some Theorems We Should Prove |
FOCS
2006
IEEE
14 years 1 months ago
2006
IEEE
The “analyst’s traveling salesman theorem” of geometric measure theory characterizes those subsets of Euclidean space that are contained in curves of finite length. This re...
DM
2011
13 years 2 months ago
2011
Let G be the set of finite graphs whose vertices belong to some fixed countable set, and let ≡ be an equivalence relation on G. By the strengthening of ≡ we mean an equivalen...
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
ISIPTA
2003
IEEE
14 years 20 days ago
2003
IEEE
In some situations, a decision is best represented by an incompletely analyzed act: conditionally to a certain event, the consequences of the decision on sub-events are perfectly ...
CDC
2009
IEEE
14 years 3 days ago
2009
IEEE
Abstract— Multi-agent systems (MAS) have received an increasing attention over the past few years. Here an MAS is a system consisted of multiple interacting intelligent agents. T...