9997 search results - page 1647 / 2000 » The case for crowd computing |
204
click to vote
ENTCS
2007
15 years 6 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
182
Voted
ENTCS
2007
15 years 6 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
165
click to vote
MLDM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose an approach to build a classifier composing consistent (100% confident) rules. Recently, associative classifiers that utilize association rules have been widel...
176
click to vote
MONET
2008
15 years 6 months ago
2008
This paper investigates a distributed and adaptive approach to manage spectrum usage in dynamic spectrum access networks. While previous works focus on centralized provisioning, w...
157
click to vote
EOR
2007
15 years 6 months ago
2007
One of the key challenges of current day electronic procurement systems is to enable procurement decisions transcend beyond a single attribute such as cost. Consequently, multiatt...