Sciweavers

2583 search results - page 452 / 517
» On the Representation of Timed Polyhedra
Sort
View
AAAI
2006
15 years 7 months ago
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration
Interactive configurators are decision support systems assisting users in selecting values for parameters that respect given constraints. The underlying knowledge can be convenien...
Tarik Hadzic, Henrik Reif Andersen
WSC
1998
15 years 7 months ago
Customer Interfacing - Lessons Learned
Customer interfacing is the process through which one works with and relates to their customer. Often in the technical world, modelers find it easier to interface with computers r...
David M. Ferrin, Richard P. Lavecchia
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
Consensus Skeleton for Non-rigid Space-time Registration
We introduce the notion of consensus skeletons for non-rigid space-time registration of a deforming shape. Instead of basing the registration on point features, which are local an...
Qian Zheng, Andrei Sharf, Andrea Tagliasacchi, Bao...
AI
2008
Springer
15 years 6 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
BMCBI
2010
90views more  BMCBI 2010»
15 years 6 months ago
Using caching and optimization techniques to improve performance of the Ensembl website
Background: The Ensembl web site has provided access to genomic information for almost 10 years. During this time the amount of data available through Ensembl has grown dramatical...
Anne Parker, Eugene Bragin, Simon Brent, Bethan Pr...