Sciweavers

581 search results - page 38 / 117
» formats 2006
Sort
View
CACM
2006
97views more  CACM 2006»
13 years 7 months ago
Software frameworks for advanced procurement auction markets
Traditional auctions such as the English and first-price sealed-bid auctions have been adopted as another tool for procurement negotiations. Throughout the past decade many new auc...
Martin Bichler, Jayant Kalagnanam
JBI
2006
107views Bioinformatics» more  JBI 2006»
13 years 7 months ago
KDE Bioscience: Platform for bioinformatics analysis workflows
Bioinformatics is a dynamic research area in which a large number of algorithms and programs have been developed rapidly and independently without much consideration so far of the...
Qiang Lu, Pei Hao, Vasa Curcin, Wei-Zhong He, Yuan...
LOGCOM
2010
82views more  LOGCOM 2010»
13 years 6 months ago
Deduction Systems for Coalgebras Over Measurable Spaces
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
Robert Goldblatt
CHI
2006
ACM
14 years 8 months ago
Marmite: end-user programming for the web
A tremendous amount of semi-structured data is available today on the web but is not necessarily in a form which is suitable for a user's tasks. For example, a website may sh...
Jason I. Hong, Jeffrey Wong
JETAI
2000
302views more  JETAI 2000»
13 years 7 months ago
Consciousness, intentionality and intelligence: some foundational issues for artificial intelligence
: We present three fundamental questions concerning minds. These are about consciousness, intentionality and intelligence. After we present the fundamental framework that has shape...
Murat Aydede, Guven Guzeldere