6409 search results - page 1144 / 1282 » A Computational Algorithm for Origami Design |
108
click to vote
CADE
2012
Springer
13 years 12 days ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
AAAI
2012
13 years 11 days ago
2012
We consider the problem of selecting fair divisions of a heterogeneous divisible good among a set of agents. Recent work (Cohler et al., AAAI 2011) focused on designing algorithms...
EUROSYS
2006
ACM
15 years 7 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
187
click to vote
GIS
2006
ACM
15 years 11 months ago
2006
ACM
Given a query point and a collection of spatial features, a multi-type nearest neighbor (MTNN) query finds the shortest tour for the query point such that only one instance of eac...
147
click to vote
DAC
2006
ACM
15 years 11 months ago
2006
ACM
Fuel cells are clean power sources that have much higher energy densities and lifetimes compared to batteries. However, fuel cells have limited load following capabilities and can...