Sciweavers

8933 search results - page 1623 / 1787
» Usability over time
Sort
View
ACII
2007
Springer
15 years 10 months ago
Interpolating Expressions in Unit Selection
ended abstract reports on on-going work exploring the addition of a certain degree of control over expressivity in a unit selection context. Rather than merely choosing one unit se...
Marc Schröder
142
Voted
ATAL
2007
Springer
15 years 10 months ago
Learning consumer preferences using semantic similarity
In online, dynamic environments, the services requested by consumers may not be readily served by the providers. This requires the service consumers and providers to negotiate the...
Reyhan Aydogan, Pinar Yolum
160
Voted
ATAL
2007
Springer
15 years 10 months ago
Auction-based multi-robot task allocation in COMSTAR
Over the past few years, swarm based systems have emerged as an attractive paradigm for building large scale distributed systems composed of numerous independent but coordinating ...
Matthew Hoeing, Prithviraj Dasgupta, Plamen V. Pet...
ATAL
2007
Springer
15 years 10 months ago
Meta-level coordination for solving negotiation chains in semi-cooperative multi-agent systems
A negotiation chain is formed when multiple related negotiations are spread over multiple agents. In order to appropriately order and structure the negotiations occurring in the c...
Xiaoqin Zhang, Victor R. Lesser
141
Voted
ATVA
2007
Springer
87views Hardware» more  ATVA 2007»
15 years 10 months ago
Latticed Simulation Relations and Games
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
Orna Kupferman, Yoad Lustig
« Prev « First page 1623 / 1787 Last » Next »