Sciweavers

128 search results - page 8 / 26
» Logical Data Independence Reconsidered (Extended Abstract)
Sort
View
CORR
2011
Springer
174views Education» more  CORR 2011»
14 years 3 months ago
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
Yoshitaka Kameya, Taisuke Sato
DASFAA
2009
IEEE
144views Database» more  DASFAA 2009»
15 years 6 months ago
Logical Foundations for Similarity-Based Databases
Abstract. Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for de...
Radim Belohlávek, Vilém Vychodil
SEMWEB
2004
Springer
15 years 4 months ago
GridVine: Building Internet-Scale Semantic Overlay Networks
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
Karl Aberer, Philippe Cudré-Mauroux, Manfre...
91
Voted
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 4 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
DAWAK
2000
Springer
15 years 3 months ago
Data Mining Support in Database Management Systems
Abstract. The most popular data mining techniques consist in searching databases for frequently occurring patterns, e.g. association rules, sequential patterns. We argue that in co...
Tadeusz Morzy, Marek Wojciechowski, Maciej Zakrzew...