109 search results - page 10 / 22 » Fragmentation in Large Object Repositories |
114
click to vote
ACCV
2006
Springer
15 years 8 months ago
2006
Springer
Segmenting an image into semantically meaningful parts is a fundamental and challenging task in computer vision. Automatic methods are able to segment an image into coherent region...
117
Voted
DOA
2001
15 years 3 months ago
2001
Jini is a Java-based technology for 'spontaneous' distributed computing which enables programs to dynamically discover nearby services by means of a type-based lookup me...
125
Voted
ICSE
2010
IEEE-ACM
15 years 13 days ago
2010
IEEE-ACM
Detailed knowledge about implemented concerns in the source code is crucial for the cost-effective maintenance and successful evolution of large systems. Concern mining techniques...
122
click to vote
JAR
2008
15 years 2 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
MICCAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Fixation-based surgery is a new technique for achieving difficult corrections in some orthopedic procedures. The method is premised on using a fixation device, such as a ...