1224 search results - page 112 / 245 » Theory decision by decomposition |
120
click to vote
ICFP
2007
ACM
16 years 22 days ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
178
Voted
Book
"Pattern recognition techniques are concerned with the theory and algorithms of putting abstract objects, e.g., measurements made on physical objects, into categories. Typical...
109
Voted
EEE
2005
IEEE
15 years 6 months ago
2005
IEEE
Currently negotiation covers a huge and unstructured domain of negotiation- and coordination protocols and associated strategies. Researchers and practitioners like system enginee...
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
116
click to vote
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...