3225 search results - page 195 / 645 » Compiling Experience into Knowledge |
164
click to vote
STANDARDVIEW
1998
15 years 6 months ago
1998
Voluntary standardisation bodies regularly issue calls for increased user participation in their work groups. This paper challenges such calls. It suggests that users are not norm...
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...
206
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
Program authorship attribution—identifying a programmer based on stylistic characteristics of code—has practical implications for detecting software theft, digital forensics, a...
302
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
183
click to vote
ICCBR
2005
Springer
15 years 12 months ago
2005
Springer
Automatic case elicitation (ACE) is a learning technique in which a case-based reasoning system acquires knowledge automatically from scratch through repeated real-time trial and e...