513 search results - page 51 / 103 » Generic Methods for Optimization-Based Modeling |
126
click to vote
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
170
click to vote
SCN
2011
Springer
14 years 9 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
121
click to vote
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
This paper advocates an implicit-surface representation of generic 3?D surfaces to take advantage of occluding edges in a very robust way. This lets us exploit silhouette constrai...
115
click to vote
ICDCS
2009
IEEE
15 years 11 months ago
2009
IEEE
The neighborhood information has been frequently used by protocols such as routing in sensor networks. Many methods have been proposed to protect such information in hostile envir...
118
click to vote
SCALESPACE
2007
Springer
15 years 8 months ago
2007
Springer
This paper introduces a new framework for two-phase image segmentation, namely the Fuzzy Region Competition. A generic formulation is developed that extends in a convex way several...