Sciweavers

9485 search results - page 154 / 1897
» Research on Brain-Like Computer
Sort
View
ECSQARU
2007
Springer
15 years 4 months ago
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
COSIT
1999
Springer
148views GIS» more  COSIT 1999»
15 years 2 months ago
Representation and Reasoning about Shapes: Cognitive and Computational Studies in Visual Reasoning in Design
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...
John S. Gero
118
Voted
TACAS
1997
Springer
197views Algorithms» more  TACAS 1997»
15 years 2 months ago
Design/CPN - A Computer Tool for Coloured Petri Nets
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
Søren Christensen, Jens Bæk Jø...
EMNLP
2007
14 years 11 months ago
An Empirical Study on Computing Consensus Translations from Multiple Machine Translation Systems
This paper presents an empirical study on how different selections of input translation systems affect translation quality in system combination. We give empirical evidence that t...
Wolfgang Macherey, Franz Josef Och
IWEC
2004
14 years 11 months ago
Computer Supported Collaborative Sports: Creating Social Spaces Filled with Sports Activities
We present the newly emerging research field of Computer Supported Collaborative Sports (CSCS). By applying innovative input and output technologies, it enables players to experien...
Volker Wulf, Eckehard F. Moritz, Christian Henneke...