528 search results - page 12 / 106 » Computing Large and Small Stable Models |
118
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
117
Voted
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— With the rapid growth of Internet, parameter design and analysis for large-scale networks has become a topic of active interest. Since simulation of such large scale systems is...
128
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— Simultaneous Localization and Mapping (SLAM) based on visual information is a challenging problem. One of the main problems with visual SLAM is to find good quality landmarks,...
131
click to vote
SCALESPACE
1999
Springer
15 years 6 months ago
1999
Springer
—We use an unconditionally stable numerical scheme to implement a fast version of the geodesic active contour model. The proposed scheme is useful for object segmentation in imag...
109
click to vote
SIGGRAPH
1998
ACM
15 years 6 months ago
1998
ACM
The bottle-neck in most cloth simulation systems is that time steps must be small to avoid numerical instability. This paper describes a cloth simulation system that can stably ta...