Sciweavers

3040 search results - page 264 / 608
» Independent Natural Extension
Sort
View
SRDS
1996
IEEE
15 years 11 months ago
Exploiting Data-Flow for Fault-Tolerance in a Wide-Area Parallel System
Wide-area parallel processing systems will soon be available to researchers to solve a range of problems. In these systems, it is certain that host failures and other faults will ...
Anh Nguyen-Tuong, Andrew S. Grimshaw, Mark Hyett
LPKR
1997
Springer
15 years 11 months ago
DATALOG with Nested Rules
Abstract. This paper presents an extension of disjunctive datalog (Datalog∨ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...
Sergio Greco, Nicola Leone, Francesco Scarcello
SCALESPACE
1997
Springer
15 years 11 months ago
From High Energy Physics to Low Level Vision
A geometric framework for image scale space, enhancement, and segmentation is presented. We consider intensity images as surfaces in the (x I) space. The image is thereby a 2D surf...
Ron Kimmel, Nir A. Sochen, Ravi Malladi
COLT
1992
Springer
15 years 11 months ago
Polynomial Time Inference of a Subclass of Context-Free Transformations
This paper deals with a class of Prolog programs, called context-free term transformations (CFT). We present a polynomial time algorithm to identify a subclass of CFT, whose progr...
Hiroki Arimura, Hiroki Ishizaka, Takeshi Shinohara
CSCW
1992
ACM
15 years 11 months ago
Supporting Collaborative Writing of Hyperdocuments in SEPIA
Today, most cooperative systems support primarily either asynchronous or synchronous (real time) cooperative work. We feel that both synchronous and asynchronous cooperation are e...
Jörg M. Haake, Brian Wilson