Sciweavers

8337 search results - page 1522 / 1668
» Reasoning With Characteristic Models
Sort
View
147
Voted
JAIR
2010
139views more  JAIR 2010»
15 years 3 months ago
Multiattribute Auctions Based on Generalized Additive Independence
We develop multiattribute auctions that accommodate generalized additive independent (GAI) preferences. We propose an iterative auction mechanism that maintains prices on potentia...
Yagil Engel, Michael P. Wellman
KBSE
2010
IEEE
15 years 3 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim
KESAMSTA
2010
Springer
15 years 3 months ago
Towards an Integrated Approach of Real-Time Coordination for Multi-agent Systems
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
Ghulam Mahdi, Abdelkader Gouaich, Fabien Michel
MFCS
2010
Springer
15 years 3 months ago
Asynchronous Omega-Regular Games with Partial Information
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...
Bernd Puchala
163
Voted
TKDE
2010
210views more  TKDE 2010»
15 years 3 months ago
Structural and Role-Oriented Web Service Discovery with Taxonomies in OWL-S
—In this paper, we describe and evaluate a Web service discovery framework using OWL-S advertisements, combined with the distinction between service and Web service of the WSMO D...
Georgios Meditskos, Nick Bassiliades
« Prev « First page 1522 / 1668 Last » Next »