4513 search results - page 209 / 903 » Modeling with a Sense of Purpose |
172
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
180
click to vote
SDL
2007
15 years 8 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
137
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
193
click to vote
IVCNZ
1998
15 years 8 months ago
1998
In this highly technological world, various methods have been developed for the purpose of recovering the shape of 3D objects from 2D images. In this paper, we introduce methods t...
163
click to vote
ANOR
2010
15 years 6 months ago
2010
: The application and estimation of expected utility based decision models would benefit from having additional simple and flexible functional forms to represent risk preferences. ...