Sciweavers

1146 search results - page 114 / 230
» Semantics of Data Streams and Operators
Sort
View
POPL
1992
ACM
15 years 8 months ago
Abstract Semantics for a Higher-Order Functional Language with Logic Variables
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
Radha Jagadeesan, Keshav Pingali
139
Voted
VLDB
2001
ACM
119views Database» more  VLDB 2001»
15 years 8 months ago
A Prototype Content-Based Retrieval System that Uses Virtual Images to Save Space
Previous research has demonstrated that space can be saved in a MultiMedia DataBase Management System (MMDBMS) by storing some of the data items virtually, meaning they are stored...
Leonard Brown, Le Gruenwald
172
Voted
JUCS
2010
152views more  JUCS 2010»
14 years 11 months ago
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
Michal Konecný, Amin Farjudian
SOSP
1997
ACM
15 years 5 months ago
Automated Hoarding for Mobile Computers
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
Geoffrey H. Kuenning, Gerald J. Popek
142
Voted
IJCAI
2007
15 years 5 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...