Search Sciweavers | Sciweavers

1353 search results - page 19 / 271

» Streamlined Constraint Reasoning

160

click to vote

SMA
2008
ACM

286views Solid Modeling» more SMA 2008»

Controlled field generation for quad-remeshing

15 years 5 months ago

Download www.mpi-inf.mpg.de

Quadrangular remeshing of triangulated surfaces has received an increasing attention in recent years. A particularly elegant approach is the extraction of quads from the streamlin...

Oliver Schall, Rhaleb Zayer, Hans-Peter Seidel

claim paper

Read More »

203

click to vote

TMC
2012

201views Logical Reasoning» more TMC 2012»

Relay-Assisted Transmission with Fairness Constraint for Cellular Networks

13 years 8 months ago

Download www.commsp.ee.ic.ac.uk

Abstract—We consider the problem of relay-assisted transmission for cellular networks. In the considered system, a source node together with n relay nodes are selected in a propo...

Erwu Liu, Qinqing Zhang, Kin K. Leung

claim paper

Read More »

161

click to vote

FLAIRS
2006

102views Artificial Intelligence» more FLAIRS 2006»

On-line Qualitative Temporal Reasoning with Explanation

15 years 7 months ago

Download www.aaai.org

This work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective...

Debasis Mitra, Florent Launay

claim paper

Read More »

249

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 6 months ago