81 search results - page 3 / 17 » Anecdotes |
SAT
2010
Springer
13 years 5 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper looks at a parsing-based alternative to word error rate (WER) for optimizing recognition, SParseval, hypothesizing that it may be a better objective for applications su...
HUC
2004
Springer
14 years 24 days ago
2004
Springer
We are developing a wearable device that attempts to alleviate some everyday memory problems. The “memory prosthesis” records audio and contextual information from conversation...
MABS
2004
Springer
14 years 23 days ago
2004
Springer
A new approach is suggested under the slogan “Keep it Descriptive Stupid” (KIDS) that encapsulates a trend in increasingly descriptive agentbased social simulation. The KIDS ap...
ITICSE
2003
ACM
14 years 20 days ago
2003
ACM
There is now a substantial body of evidence in support of the use of pair programming in the classroom[3, 4, 10, 11, 13, 14]. Some of the data is anecdotal and some is the result ...