Sciweavers

3775 search results - page 115 / 755
» The Expression Problem Revisited
Sort
View
135
Voted
SC
2000
ACM
15 years 7 months ago
Expressing and Enforcing Distributed Resource Sharing Agreements
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
Tao Zhao, Vijay Karamcheti
204
Voted
CDB
1997
Springer
85views Database» more  CDB 1997»
15 years 7 months ago
On Expressing Topological Connectivity in Spatial Datalog
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and investigate the expressibility of the topological connectivity query for these databa...
Bart Kuijpers, Marc Smits
125
Voted
ESWS
2007
Springer
15 years 7 months ago
Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
Uwe Keller
130
Voted
CMMR
2008
Springer
153views Music» more  CMMR 2008»
15 years 5 months ago
Dynamic Mapping Strategies for Expressive Synthesis Performance and Improvisation
Realtime musical expression through synthesis is notoriously dicult. The complete potential of a sound engine is traditionally available only at design time. In this paper two mapp...
Palle Dahlstedt
151
Voted
AIMSA
2010
Springer
15 years 5 months ago
Expressive Approximations in DL-Lite Ontologies
Abstract. Ontology based data access (OBDA) is concerned with providing access to typically very large data sources through a mediating conceptual layer that allows one to improve ...
Elena Botoeva, Diego Calvanese, Mariano Rodriguez-...