Sciweavers

480 search results - page 62 / 96
» A practical bottleneck detection method
Sort
View
ASP
2003
Springer
14 years 2 months ago
Using Nested Logic Programs for Answer Set Programming
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
Thomas Linke
NDSS
2002
IEEE
14 years 1 months ago
Experimenting with Server-Aided Signatures
This paper explores practical and conceptual implications of using Server-Aided Signatures (SAS). SAS is a signature method that relies on partially-trusted servers for generating...
Xuhua Ding, Daniele Mazzocchi, Gene Tsudik
PG
2000
IEEE
14 years 1 months ago
Interactive Simulation of Surgical Cuts
We present a framework for the interactive simulation of surgical cuts such as being practiced in surgical treatment. Unlike most existing methods our framework is based on tetrah...
Daniel Bielser, Markus H. Gross
AAAI
2004
13 years 10 months ago
A General Solution to the Graph History Interaction Problem
Since the state space of most games is a directed graph, many game-playing systems detect repeated positions with a transposition table. This approach can reduce search effort by ...
Akihiro Kishimoto, Martin Müller 0003
APVIS
2004
13 years 10 months ago
A Solar System Metaphor for 3D Visualisation of Object Oriented Software Metrics
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...
Hamish Graham, Hong Yul Yang, Rebecca Berrigan