1189 search results - page 99 / 238 » The Quotient of an Abstract Interpretation |
86
Voted
BILDMED
2004
15 years 2 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...
100
Voted
DAGSTUHL
2006
15 years 2 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...
111
Voted
DLOG
1998
15 years 2 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...
100
Voted
ECIS
2000
15 years 2 months ago
2000
Abstract eCommerce of the Business-to-Business (B2B) type requires comprehensivecontractnegotiationsdependingentirelyonacontract schema, which must be developed in advance. Contrac...
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...