4227 search results - page 664 / 846 » Philosophical Conceptions of Information |
173
click to vote
AIED
2005
Springer
16 years 19 days ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
172
click to vote
AINTEC
2005
Springer
16 years 19 days ago
2005
Springer
— 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...
210
click to vote
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
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...
170
click to vote
CAV
2005
Springer
16 years 19 days ago
2005
Springer
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...
182
Voted
CIKM
2005
Springer
16 years 19 days ago
2005
Springer
On Line Analysis Processing (OLAP) is a technology basically created to provide users with tools in order to explore and navigate into data cubes. Unfortunately, in huge and spars...