6020 search results - page 86 / 1204 » A New Approach to Model Counting |
123
click to vote
EMISA
2005
Springer
15 years 9 months ago
2005
Springer
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
130
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
A controller change from a current controller which stabilises the plant to a new controller, designed on the basis of an approximate model of the plant and with guaranteed bounds...
129
click to vote
INFORMATICALT
2010
15 years 2 months ago
2010
Abstract. This study presents developed algorithm for assessment and updating estimates of parameters in the mathematical models of non-stationary processes (for instance, system a...
125
click to vote
VLDB
1992
ACM
15 years 7 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
131
Voted
WINE
2009
Springer
15 years 10 months ago
2009
Springer
Sponsored search auction is used by most search engines to select ads to display on the web page of a search result, according to advertisers’ bidding prices. The income of this ...