1174 search results - page 120 / 235 » Derivation of Characteristic Formulae |
129
Voted
PPDP
2000
Springer
15 years 8 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
128
Voted
DAC
2005
ACM
15 years 6 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
150
click to vote
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
135
click to vote
IJCAI
2003
15 years 6 months ago
2003
We study two apparently different, but formally similar, scheduling problems. The first problem involves contract algorithms, which can trade off run time for solution quality, a...
144
Voted
BMVC
2000
15 years 6 months ago
2000
The cross ratio has wide applications in computer vision because of its invariance under projective transformation. In active vision where the projections of quadruples of colline...