Sciweavers

1317 search results - page 100 / 264
» A Technique for Constructing Developable Surfaces
Sort
View
CP
2003
Springer
15 years 9 months ago
Box Constraint Collections for Adhoc Constraints
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
TABLETOP
2008
IEEE
15 years 11 months ago
On top of tabletop: A virtual touch panel display
In the real world, a physical tabletop provides public and private needs for people around the table. For competing scenarios such as playing a poker game or running a price negot...
Li-Wei Chan, Ting-Ting Hu, Jin-Yao Lin, Yi-Ping Hu...
PAIRING
2007
Springer
15 years 10 months ago
Hyperelliptic Pairings
We assemble and reorganize the recent work in the area of hyperelliptic pairings: We survey the research on constructing hyperelliptic curves suitable for pairing-based cryptograph...
Steven D. Galbraith, Florian Hess, Frederik Vercau...
APLAS
2010
ACM
15 years 4 months ago
A Logical Mix of Approximation and Separation
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
Aquinas Hobor, Robert Dockins, Andrew W. Appel
IGARSS
2009
15 years 2 months ago
Modeling Surface-flow Characteristics in Glaciated Landscapes
The Prairie Pothole Region (PPR) of the US and Canada is characterized by thousands of shallow, water-filled depressions with sizes ranging from a fraction of a hectare to several...
Janet Gritzner