MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "An Implementation of Narrowing." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

104 documents found, showing 1 through 10. Next 10 →

ATOM

An Implementation of Narrowing Strategies
by Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner — 2001 — Journal of the ACM
…An Implementation of Narrowing Strategies Sergio Antoy antoy@(email omitted); Michael Hanus mh…
Cited by 261 (108 self) – Add To MetaCart

Efficient Implementation of Narrowing and Rewriting
by Michael Hanus — 1991 — In Proc. Int. Workshop on Processing Declarative Knowledge
… Efficient Implementation of Narrowing and Rewriting Michael Hanus \Lambda Technische Fakult…
Cited by 18 (8 self) – Add To MetaCart

Stack-based Implementation of Narrowing
by Rita Loogen, Aachener Informatik--berichte — 1990 — In CCPSD, Tapsoft, LNCS 494
… Stack-based Implementation of Narrowing Rita Loogen RWTH Aachen, Lehrstuhl fur Informatik II…
Cited by 1 (0 self) – Add To MetaCart

Implementation of Narrowing: The Prolog-Based Approach
by P. H. Cheong, L. Fribourg — 1993 — Logic programming languages: constraints, functions, and objects
…Implementation of Narrowing: The Prolog-Based Approach P.H. Cheong L. Fribourg LIENS (URA 1327…
Cited by 18 (0 self) – Add To MetaCart

Independent AND-Parallel Implementation of Narrowing
by Herbert Kuchen Juan, Manuel V. Hermenegildo — 1992 — In Proc. of the 4th International Symposium on Programming Language Implementation and Logic Programming
…Independent AND-Parallel Implementation of Narrowing Herbert Kuchen ? Juan Jos'e Moreno…
Add To MetaCart

Implementation of Lazy Narrowing Calculi in Mathematica
by Mohamed Hamada, Tetsuo Ida — 1997
…Implementation of Lazy Narrowing Calculi in Mathematica Mohamed Hamada Doctoral Program…
Cited by 2 (0 self) – Add To MetaCart

Fast And Parallel Interval Arithmetic
by Siegfried M. Rump — BIT
… arithmetic is widely used because of ease of implementation and narrow results. In this note we show…
Cited by 13 (2 self) – Add To MetaCart

Geodesic Active Regions for Texture Segmentation
by Nikos Paragios, Rachid Deriche — 1998
… erent methods are used for the level set implementation, the Narrow Band and the Hermes Algorithm. Very…
Cited by 23 (7 self) – Add To MetaCart

A streaming narrow-band algorithm: Interactive computation and visualization of level sets
by Aaron E. Lefohn, Joe M. Kniss, Charles D. Hansen, Ross T. Whitaker — 2004 — IEEE Transactions on Visualization and Computer Graphics
…. The proposed solution is based on a new, streaming implementation of the narrow-band algorithm. The new…
Cited by 19 (8 self) – Add To MetaCart

Continuous First-Order Constraint Satisfaction
by Stefan Ratschan — 2002 — ARTIFICIAL INTELLIGENCE, AUTOMATED REASONING, AND SYMBOLIC COMPUTATION, NUMBER 2385 IN LNCS
…, based on a narrowing operator that implements an arbitrary notion of consistency for atomic constraints…
Cited by 17 (11 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB