Sciweavers

4047 search results - page 225 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
ECAI
2010
Springer
15 years 7 months 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
SODA
2012
ACM
245views Algorithms» more  SODA 2012»
13 years 8 months ago
Sketching valuation functions
Motivated by the problem of querying and communicating bidders’ valuations in combinatorial auctions, we study how well different classes of set functions can be sketched. More...
Ashwinkumar Badanidiyuru, Shahar Dobzinski, Hu Fu,...
FLAIRS
2003
15 years 7 months ago
Optimal Approach for Temporal Patterns Discovery
This paper presents new technique for discovering temporal patterns when considered primitives are intervals. Apriori technique is the most used one to deal with temporal patterns...
Khellaf Bouandas, Aomar Osmani
MST
2007
132views more  MST 2007»
15 years 6 months ago
Odometers on Regular Languages
Odometers or “adding machines” are usually introduced in the context of positional numeration systems built on a strictly increasing sequence of integers. We generalize this no...
Valérie Berthé, Michel Rigo
BMCBI
2008
112views more  BMCBI 2008»
15 years 6 months ago
A simplified approach to disulfide connectivity prediction from protein sequences
Background: Prediction of disulfide bridges from protein sequences is useful for characterizing structural and functional properties of proteins. Several methods based on differen...
Marc Vincent, Andrea Passerini, Matthieu Labb&eacu...