3582 search results - page 679 / 717 » Designing games with a purpose |
164
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
199
Voted
CIKM
2005
Springer
16 years 8 days ago
2005
Springer
Data mining techniques frequently find a large number of patterns or rules, which make it very difficult for a human analyst to interpret the results and to find the truly interes...
212
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
161
Voted
ERCIMDL
2005
Springer
16 years 8 days ago
2005
Springer
The OAI protocol facilitates the aggregation of large numbers of heterogeneous metadata records. In order to make harvested records useable in the context of an OAI service provide...
206
Voted
ESWS
2005
Springer
16 years 8 days ago
2005
Springer
While classic information retrieval methods return whole documents as a result of a query, many information demands would be better satisfied by fine-grain access inside the docu...