Sciweavers

756 search results - page 28 / 152
» A new algorithm for Boolean operations on general polygons
Sort
View
RECOMB
2009
Springer
14 years 2 months ago
Rearrangement Models and Single-Cut Operations
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...
Paul Medvedev, Jens Stoye
PPDP
2001
Springer
14 years 14 days ago
Trust in the Pi-Calculus
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
Mark Hepburn, David Wright
DAC
2006
ACM
14 years 2 months ago
High-performance operating system controlled memory compression
This article describes a new software-based on-line memory compression algorithm for embedded systems and presents a method of adaptively managing the uncompressed and compressed ...
Lei Yang, Haris Lekatsas, Robert P. Dick
CODES
2003
IEEE
14 years 1 months ago
A codesigned on-chip logic minimizer
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
Roman L. Lysecky, Frank Vahid
MIR
2003
ACM
391views Multimedia» more  MIR 2003»
14 years 1 months ago
Generic sign board detection in images
Sign board detection is important for such computer vision applications as video surveillance and content based visual information retrieval. Previous researches on this topic foc...
Hua Shen, Xiaoou Tang