1187 search results - page 108 / 238 » Graph-Based Procedural Abstraction |
113
click to vote
LOGCOM
2007
15 years 1 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
122
click to vote
DEDS
2000
15 years 1 months ago
2000
Abstract. Ordinal Optimization has emerged as an efficient technique for simulation and optimization. Exponential convergence rates can be achieved in many cases. In this paper, we...
110
click to vote
IJCIS
1998
15 years 1 months ago
1998
Abstracting from basic communication mechanisms such as transactionally secure remote procedure calls and remote database access mechanisms, this includes service trading and bro...
SAC
2008
ACM
15 years 1 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
127
click to vote
DLOG
2010
14 years 11 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...