4211 search results - page 547 / 843 » A formal approach to MASQ |
171
click to vote
MIS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This work proposes an approach for managing multimedia information associated to 3D environments navigated by the user. The influence of context (location, user profile, ...
219
click to vote
PADL
2005
Springer
16 years 6 days ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
156
click to vote
PKDD
2005
Springer
16 years 6 days ago
2005
Springer
Bi-clustering is a promising conceptual clustering approach. Within categorical data, it provides a collection of (possibly overlapping) bi-clusters, i.e., linked clusters for both...
176
click to vote
SEKE
2005
Springer
16 years 6 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
143
click to vote
SEMWEB
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Decentralized case-based reasoning (DzCBR) is a reasoning framework that addresses the problem of adaptive reasoning in a multi-ontology environment. It is a case-based r...