4224 search results - page 41 / 845 » Reasoning about Choice |
87
Voted
GI
2009
Springer
15 years 3 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
98
Voted
TOOLS
1998
IEEE
15 years 3 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
87
Voted
AAAI
2007
15 years 1 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
80
Voted
AAAI
2007
15 years 1 months ago
2007
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...
FLAIRS
2008
15 years 1 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...