Sciweavers

24286 search results - page 4690 / 4858
» Research as Design-Design as Research
Sort
View
AI
2004
Springer
15 years 7 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa
TVCG
2008
147views more  TVCG 2008»
15 years 7 months ago
Interactive Visual Steering - Rapid Visual Prototyping of a Common Rail Injection System
Interactive steering with visualization has been a common goal of the visualization research community for twenty years, but it is rarely ever realized in practice. In this paper w...
Kresimir Matkovic, Denis Gracanin, Mario Jelovic, ...
TVCG
2008
178views more  TVCG 2008»
15 years 7 months ago
Animation of Orthogonal Texture Patterns for Vector Field Visualization
Abstract-- This paper introduces orthogonal vector field visualization on 2D manifolds: a representation by lines that are perpendicular to the input vector field. Line patterns ar...
Sven Bachthaler, Daniel Weiskopf
220
Voted
JSS
2007
121views more  JSS 2007»
15 years 7 months ago
Opportunistic prioritised clustering framework for improving OODBMS performance
In object oriented database management systems, clustering has proven to be one of the most effective performance enhancement techniques. Existing clustering algorithms are mainly...
Zhen He, Richard Lai, Alonso Marquez, Stephen Blac...
ALGORITHMICA
2004
132views more  ALGORITHMICA 2004»
15 years 7 months ago
A General Model for Authenticated Data Structures
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
Charles U. Martel, Glen Nuckolls, Premkumar T. Dev...
« Prev « First page 4690 / 4858 Last » Next »