Sciweavers

2585 search results - page 189 / 517
» Automating Coherent Logic
Sort
View
ECSQARU
2007
Springer
16 years 21 days ago
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
KR
2004
Springer
15 years 12 months ago
A Logic-Based Formulation of Active Visual Perception
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
Murray Shanahan, David A. Randell
WSC
1997
15 years 7 months ago
A General Framework for Large Scale Systems Development
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...
Aleks Göllü, Farokh H. Eskafi
EMNLP
2010
15 years 4 months ago
Modeling Organization in Student Essays
Automated essay scoring is one of the most important educational applications of natural language processing. Recently, researchers have begun exploring methods of scoring essays ...
Isaac Persing, Alan Davis, Vincent Ng
ISQED
2009
IEEE
187views Hardware» more  ISQED 2009»
16 years 1 months ago
An efficient current-based logic cell model for crosstalk delay analysis
 Electrical Modeling for High Bandwidth IO Link  Chirayu Amin, Chandramouli Kashyap ¬ Intel Corp., Hillsboro, OR  Prateek Bhansali ¬ Univ. of Minnesota, Mi...
Debasish Das, William Scott, Shahin Nazarian, Hai ...