Sciweavers

506 search results - page 2 / 102
» Visual Logic Programming Method Based on Structural Analysis...
Sort
View
APVIS
2008
13 years 6 months ago
Interactive Visual Analysis of the NSF Funding Information
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon the treemap...
Shixia Liu, Nan Cao, Hao Lv
MVA
2000
191views Computer Vision» more  MVA 2000»
13 years 6 months ago
Development of Visual Inspection System Based on Vector Analysis Technique
The present paper proposes a new concept of image processing method based on vector representation for visual inspection test. The method was applied to detect defects and extract...
Masatake Sakuma, Katsumi Kubo, Shigeru Kanemoto, T...
ESOP
1999
Springer
13 years 9 months ago
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
Andreas Podelski, Witold Charatonik, Martin Mü...
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
13 years 11 months ago
Inference of Design Pattern Instances in UML models via Logic Programming
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Dae-Kyoo Kim, Lunjin Lu
ATAL
2006
Springer
13 years 9 months ago
TANDEM - a design method for integrating web services into multi-agent systems
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
Steve Goschnick, Sandrine Balbo, Leon Sterling, Ch...