2153 search results - page 246 / 431 » From Requirements Models to Formal Specifications in B |
219
click to vote
SIGIR
2011
ACM
2011
ACM
Find it if you can: a game for modeling different types of web search success using interaction data
14 years 9 months ago
A better understanding of strategies and behavior of successful searchers is crucial for improving the experience of all searchers. However, research of search behavior has been s...
168
click to vote
OR
2010
Springer
15 years 4 months ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
281
click to vote
Book
"Can computers meaningfully process human language? If this is difficult, why? If this is possible, how? This book introduces the reader to the fascinating science of computat...
187
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
293
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...