Sciweavers

4209 search results - page 230 / 842
» Abstract Dialectical Frameworks
Sort
View
CAGD
2010
88views more  CAGD 2010»
15 years 6 months ago
Topological mesh operators
Abstract. In this paper we introduce an unified framework for topological manipulation on triangulated 2manifolds with or without boundary. We show that there are two kinds of prim...
Thomas Lewiner, Hélio Lopes, Esdras Medeiro...
IJCIS
2006
123views more  IJCIS 2006»
15 years 6 months ago
Non-Intrusive Monitoring of Service-Based Systems
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
George Spanoudakis, Khaled Mahbub
JACIII
2007
79views more  JACIII 2007»
15 years 6 months ago
State-Transition Computation Models and Program Correctness Thereon
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
Kiyoshi Akama, Ekawit Nantajeewarawat
CORR
2010
Springer
91views Education» more  CORR 2010»
15 years 6 months ago
Ultrametric watersheds: a bijection theorem for hierarchical edge-segmentation
Abstract. We study hierachical segmentation in the framework of edgeweighted graphs. We define ultrametric watersheds as topological watersheds null on the minima. We prove that th...
Laurent Najman
ACCV
2010
Springer
15 years 1 months ago
Efficient Visual Object Tracking with Online Nearest Neighbor Classifier
Abstract. A tracking-by-detection framework is proposed that combines nearest-neighbor classification of bags of features, efficient subwindow search, and a novel feature selection...
Steve Gu, Ying Zheng, Carlo Tomasi