Sciweavers

3889 search results - page 710 / 778
» A Framework for Optimizing Paper Matching
Sort
View
JSC
2006
71views more  JSC 2006»
15 years 4 months ago
Towards a clausal analysis of cut-elimination
In this paper we show that a large class of cut-elimination methods can be analyzed by clause terms representing sets of characteristic clauses extractable from the original proof...
Matthias Baaz, Alexander Leitsch
EOR
2007
88views more  EOR 2007»
15 years 4 months ago
The stochastic location model with risk pooling
In this paper, we present a stochastic version of the Location Model with Risk Pooling (LMRP) that optimizes location, inventory, and allocation decisions under random parameters ...
Lawrence V. Snyder, Mark S. Daskin, Chung-Piaw Teo
EOR
2007
68views more  EOR 2007»
15 years 4 months ago
Multiattribute electronic procurement using goal programming
One of the key challenges of current day electronic procurement systems is to enable procurement decisions transcend beyond a single attribute such as cost. Consequently, multiatt...
S. Kameshwaran, Y. Narahari, Charles H. Rosa, Deva...
IJIPT
2007
116views more  IJIPT 2007»
15 years 4 months ago
Context as autonomic intelligence in a ubiquitous computing environment
: This paper presents the ANS architecture that uses ubiquitous computing to monitor medical patients in the home. Since there is no notion of the patient carrying out maintenance ...
Markus C. Huebscher, Julie A. McCann, Asher Hoskin...
ADT
2005
15 years 4 months ago
High rate compression of CAD meshes based on subdivision inversion
In this paper we present a new framework, based on subdivision surface approximation, for efficient compression and coding of 3D models represented by polygonal meshes. Our algorit...
Guillaume Lavoué, Florent Dupont, Atilla Ba...