6456 search results - page 1160 / 1292 » Constraint Solving on Terms |
218
click to vote
MIDDLEWARE
2007
Springer
16 years 14 days ago
2007
Springer
With the growing number of service advertisements in service marketplaces, there is a need for matchmakers which select and rank functionally similar services based on nonfunction...
181
click to vote
SAT
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
178
click to vote
AVSS
2006
IEEE
16 years 12 days ago
2006
IEEE
Background modeling for dynamic scenes is an important problem in the context of real time video surveillance systems. Several nonparametric background models have been proposed t...
183
click to vote
CODES
2006
IEEE
16 years 12 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
166
click to vote
CODES
2006
IEEE
16 years 12 days ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...