2881 search results - page 533 / 577 » Model Checking for Programming Languages using Verisoft |
109
click to vote
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
We consider the issues of implicitness and cache-obliviousness in the classical dictionary problem for n distinct keys over an unbounded and ordered universe. One finding in this ...
111
Voted
ACII
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
125
Voted
SERP
2004
15 years 3 months ago
2004
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
115
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
145
click to vote
JOT
2010
15 years 11 days ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...