Sciweavers

7962 search results - page 1252 / 1593
» Conceptions of information science
Sort
View
WWW
2005
ACM
16 years 11 days ago
Shared lexicon for distributed annotations on the Web
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
Paolo Avesani, Marco Cova
AIED
2005
Springer
16 years 11 days ago
Towards support in building qualitative knowledge models
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
Vania Bessa Machado, Roland Groen, Bert Bredeweg
AINTEC
2005
Springer
16 years 11 days ago
Users and Services in Intelligent Networks
— We present a vision of an Intelligent Network in which users dynamically indicate their requests for services, and formulate needs in terms of Quality of Service (QoS) and pric...
Erol Gelenbe
ATAL
2005
Springer
16 years 11 days ago
Formalising trust for online communities
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
Ali Shaikh Ali, Omer F. Rana
CAV
2005
Springer
104views Hardware» more  CAV 2005»
16 years 11 days ago
Expand, Enlarge and Check... Made Efficient
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
Gilles Geeraerts, Jean-François Raskin, Lau...
« Prev « First page 1252 / 1593 Last » Next »