Sciweavers

434 search results - page 65 / 87
» A Semantic Caching Method Based on Linear Constraints
Sort
View
WCE
2007
13 years 9 months ago
Local Approximation of Pareto Surface
—In the design process of complex systems, the designer is solving an optimization problem, which involves different disciplines and where all design criteria have to be optimize...
S. V. Utyuzhnikov, Jeremy Maginot, Marin D. Guenov
4OR
2006
100views more  4OR 2006»
13 years 8 months ago
Nondecomposable solutions to group equations and an application to polyhedral combinatorics
This paper is based on the study of the set of nondecomposable integer solutions in a Gomory corner polyhedron, which was recently used in a reformulation method for integer linear...
Matthias Jach, Matthias Köppe, Robert Weisman...
IJRR
2000
121views more  IJRR 2000»
13 years 8 months ago
Reconstructing the Shape of a Deformable Membrane from Image Data
In this paper, we study the problem of determining a mathematical description of the surface defined by the shape of a membrane based on an image of it and present an algorithm fo...
Nicola J. Ferrier, Roger W. Brockett
FORMATS
2006
Springer
14 years 8 days ago
Adding Invariants to Event Zone Automata
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
Peter Niebert, Hongyang Qu
MM
2009
ACM
203views Multimedia» more  MM 2009»
14 years 1 months ago
Distance metric learning from uncertain side information with application to automated photo tagging
Automated photo tagging is essential to make massive unlabeled photos searchable by text search engines. Conventional image annotation approaches, though working reasonably well o...
Lei Wu, Steven C. H. Hoi, Rong Jin, Jianke Zhu, Ne...