Sciweavers

690 search results - page 64 / 138
» Dense Admissible Sets
Sort
View
CLEIEJ
2010
14 years 9 months ago
Hybrid Rugosity Mesostructures (HRMs) for fast and accurate rendering of fine haptic detail
The haptic rendering of surface mesostructure (fine relief features) in dense triangle meshes requires special structures, equipment, and high sampling rates for detailed perceptio...
Víctor Theoktisto, Marta Fairén Gonz...
WOB
2004
233views Bioinformatics» more  WOB 2004»
15 years 1 months ago
Recent Advances in Gene Expression Data Clustering: A Case Study with Comparative Results
Several advanced techniques have been proposed for data clustering and many of them have been applied to gene expression data, with partial success. The high dimensionality and the...
George Barreto Bezerra, Geraldo M. A. Cança...
ECAI
2010
Springer
15 years 29 days ago
Sound and Complete Landmarks for And/Or Graphs
Landmarks for a planning problem are subgoals that are necessarily made true at some point in the execution of any plan. Since verifying that a fact is a landmark is PSPACE-complet...
Emil Keyder, Silvia Richter, Malte Helmert
IGPL
1998
97views more  IGPL 1998»
14 years 11 months ago
Towards Structurally-Free Theorem Proving
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
Marcelo Finger
AC
1999
Springer
15 years 4 months ago
The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General P
Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled ...
Mark C. Little, Stuart M. Wheater, David B. Ingham...