109 search results - page 10 / 22 » Fragmentation in Large Object Repositories |
80
Voted
ACCV
2006
Springer
15 years 5 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...
DOA
2001
15 years 12 days 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...
97
Voted
ICSE
2010
IEEE-ACM
14 years 9 months 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...
JAR
2008
14 years 11 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 2 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 ...