6978 search results - page 1112 / 1396 » On Proofs in System P |
155
click to vote
ICWL
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
204
click to vote
BPM
2004
Springer
16 years 4 days ago
2004
Springer
Increasingly information systems log historic information in a systematic way. Workflow management systems, but also ERP, CRM, SCM, and B2B systems often provide a so-called “ev...
247
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
153
click to vote
ISMIR
2004
Springer
16 years 3 days ago
2004
Springer
We introduce a causal approach to tempo tracking for musical audio signals. Our system is designed towards an eventual real-time implementation; requiring minimal highlevel knowle...
170
click to vote
IUI
2010
ACM
16 years 2 days ago
2010
ACM
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...