Sciweavers

938 search results - page 32 / 188
» Coreference-inspired Coherence Modeling
Sort
View
DCEIS
2006
14 years 11 months ago
Semantic Coherence in Software Engineering
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
Michael Skusa
LICS
2000
IEEE
15 years 2 months ago
A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
Alexandre Miquel
ICAIL
2009
ACM
15 years 4 months ago
Coherence-driven argumentation to norm consensus
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
Sindhu Joseph, Henry Prakken
VLDB
1991
ACM
157views Database» more  VLDB 1991»
15 years 1 months ago
Integrating Implicit Answers with Object-Oriented Queries
Queries in object-oriented datab;Lqcs are formulated against a class and retrieve instnnccls of the class sat,isfying a certain predicate on the att,riblltes of the class. The pre...
Hava T. Siegelmann, B. R. Badrinath
GRAPHICSINTERFACE
2003
14 years 11 months ago
Multiple Camera Considerations in a View-Dependent Continuous Level of Detail Algorithm
We introduce the Camera Aware View-dEpendent Continuous Level Of Detail (CAVECLOD) polygon mesh representation. Several techniques recently have been developed that use a hierarch...
Bradley P. Kram, Christopher D. Shaw