1422 search results - page 122 / 285 » Complementation in Abstract Interpretation |
148
click to vote
ER
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we discuss about composing services from standard suites of applications for personal data management in mobile devices. We propose a data model and an inte...
116
click to vote
BILDMED
2004
15 years 5 months ago
2004
Abstract. This paper proposes a method to control the object enhancement in context region in focal region based volume rendering. The proposed method uses the distance as a factor...
133
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
134
click to vote
DLOG
1998
15 years 5 months ago
1998
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
134
click to vote
ECIS
2000
15 years 5 months ago
2000
Abstract eCommerce of the Business-to-Business (B2B) type requires comprehensivecontractnegotiationsdependingentirelyonacontract schema, which must be developed in advance. Contrac...