2272 search results - page 419 / 455 » A Calculus for |
JAR
2007
13 years 9 months ago
2007
Abstract. In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new non-standard reasoning services to explain incoherence through pin...
TSP
2008
13 years 9 months ago
2008
Underwater acoustic localization usually relies on time of arrival (ToA) measurements, which are then converted into range estimates. However, the water medium is inhomogeneous and...
AIEDU
2004
13 years 9 months ago
2004
We propose and evaluate a decision-theoretic approach for selecting tutorial actions by looking ahead to anticipate their effects on the student and other aspects of the tutorial s...
TVCG
2008
13 years 9 months ago
2008
Volume exploration is an important issue in scientific visualization. Research on volume exploration has been focused on revealing hidden structures in volumetric data. While the i...
JSYML
2007
13 years 9 months ago
2007
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...