42 search results - page 6 / 9 » Towards a Canonical Classical Natural Deduction System |
IUI
2010
ACM
14 years 18 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...
DAGSTUHL
2006
13 years 8 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
LREC
2010
13 years 8 months ago
2010
Unit selection text-to-speech systems currently produce very natural synthesized phrases by concatenating speech segments from a large database. Recently, increasing demand for de...
JETAI
2007
13 years 7 months ago
2007
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
ESANN
2007
13 years 8 months ago
2007
Abstract. Several models have been proposed for spatio-temporal selforganization, among which the TOM model by Wiemer [1] is particularly promising. In this paper, we propose to ad...