Sciweavers

1810 search results - page 186 / 362
» BASE: Using Abstraction to Improve Fault Tolerance
Sort
View
MICAI
2010
Springer
15 years 4 months ago
Automatic Image Annotation Using Multiple Grid Segmentation
Abstract. Automatic image annotation refers to the process of automatically labeling an image with a predefined set of keywords. Image annotation is an important step of content-ba...
Gerardo Arellano, Luis Enrique Sucar, Eduardo F. M...
ADBIS
2009
Springer
143views Database» more  ADBIS 2009»
16 years 1 months ago
Cost-Based Vectorization of Instance-Based Integration Processes
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
Matthias Böhm, Dirk Habich, Steffen Preissler...
ACIVS
2008
Springer
16 years 26 days ago
Robust Curvature Extrema Detection Based on New Numerical Derivation
Abstract. Extrema of curvature are useful key points for different image analysis tasks. Indeed, polygonal approximation or arc decomposition methods used often these points to ini...
Cédric Join, Salvatore Tabbone
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
16 years 3 hour ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
IWUC
2004
15 years 8 months ago
Ubiquitous Application Development using a Mobile Agent-based System
Abstract. This study proposes a methodology that allows the flexible and maintainable development of application based on mobile agent to a ubiquitous environment. Ubiquitous envir...
Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Ho...