Sciweavers

32032 search results - page 6114 / 6407
» Verified programming in Guru
Sort
View
CP
2005
Springer
16 years 6 days ago
Search and Inference in AI Planning
While Planning has been a key area in Artificial Intelligence since its beginnings, significant changes have occurred in the last decade as a result of new ideas and a more estab...
Hector Geffner
ACMICEC
2004
ACM
162views ECommerce» more  ACMICEC 2004»
16 years 5 days ago
Balanced matching of buyers and sellers in e-marketplaces: the barter trade exchange model
In this paper, we describe the operation of barter trade exchanges by identifying key techniques used by trade brokers to stimulate trade and satisfy member needs, and present alg...
Peter Haddawy, Namthip Rujikeadkumjorn, Khaimook D...
ACMICEC
2004
ACM
171views ECommerce» more  ACMICEC 2004»
16 years 5 days ago
Efficient integration of web services with distributed data flow and active mediation
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
David Liu, Jun Peng, Kincho H. Law, Gio Wiederhold
ACMICEC
2004
ACM
149views ECommerce» more  ACMICEC 2004»
16 years 5 days ago
Emerging customer trends towards mobile music services
Elaborating on the rapid evolution of mobile entertainment services, this paper investigates customers’ preferences and attitudes towards mobile music services in Europe through...
Pavlos Vlachos, Adam P. Vrechopoulos
CASES
2004
ACM
16 years 5 days ago
Balancing design options with Sherpa
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
Timothy Sherwood, Mark Oskin, Brad Calder
« Prev « First page 6114 / 6407 Last » Next »