Sciweavers

1353 search results - page 19 / 271
» Streamlined Constraint Reasoning
Sort
View
SMA
2008
ACM
286views Solid Modeling» more  SMA 2008»
13 years 7 months ago
Controlled field generation for quad-remeshing
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
TMC
2012
11 years 10 months ago
Relay-Assisted Transmission with Fairness Constraint for Cellular Networks
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
FLAIRS
2006
13 years 9 months ago
On-line Qualitative Temporal Reasoning with Explanation
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
FLOPS
2010
Springer
14 years 2 months ago
Haskell Type Constraints Unleashed
Dominic A. Orchard, Tom Schrijvers