Sciweavers

207 search results - page 10 / 42
» ideas 1999
Sort
View
CN
1999
163views more  CN 1999»
14 years 10 months ago
Operational Semantics for MSC'96
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
Sjouke Mauw, Michel A. Reniers
ICCV
1999
IEEE
16 years 7 days ago
A Statistical Approach to Snakes for Bimodal and Trimodal Imagery
In this paper, we describe a new region-based approach to active contours for segmenting images composed of two or three types of regions characterizable by a given statistic. The...
Anthony J. Yezzi, Andy Tsai, Alan S. Willsky
ICIP
1999
IEEE
15 years 12 months ago
Unsupervised Low-Frequency Driven Segmentation of Color Images
This paper presents an algorithm for unsupervised segmentation of color images. The main idea behind it is the use of the low-frequency content of images which allows for smoothin...
Luca Lucchese, Sanjit K. Mitra
DAC
1999
ACM
15 years 11 months ago
A Low Power Hardware/Software Partitioning Approach for Core-Based Embedded Systems
We present a novel approach that minimizes the power consumption of embedded core-based systems through hardware/software partitioning. Our approach is based on the idea of mapping...
Jörg Henkel
WOLLIC
2009
Springer
15 years 4 months ago
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
Katsuhiko Sano