Sciweavers

303 search results - page 1 / 61
» A Global Workspace Framework for Combining Reasoning Systems
Sort
View
DSVIS
2005
Springer
13 years 10 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
CADE
1998
Springer
13 years 9 months ago
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework
Proceedings of CADE-15, LNAI 1421, pp. 205
Hans Jürgen Ohlbach
CSL
2010
Springer
13 years 5 months ago
Active learning and semi-supervised learning for speech recognition: A unified framework using the global entropy reduction maxi
We propose a unified global entropy reduction maximization (GERM) framework for active learning and semi-supervised learning for speech recognition. Active learning aims to select...
Dong Yu, Balakrishnan Varadarajan, Li Deng, Alex A...
RR
2007
Springer
13 years 11 months ago
A Framework for Combining Rules and Geo-ontologies
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...
Philip D. Smart, Alia I. Abdelmoty, Baher A. El-Ge...