Sciweavers

3656 search results - page 204 / 732
» Compact Location Problems
Sort
View
158
Voted
ASPDAC
1999
ACM
117views Hardware» more  ASPDAC 1999»
15 years 10 months ago
Analysing Forced Oscillators with Multiple Time Scales
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
Onuttom Narayan, Jaijeet S. Roychowdhury
CAIP
1999
Springer
115views Image Analysis» more  CAIP 1999»
15 years 10 months ago
EigenHistograms: Using Low Dimensional Models of Color Distribution for Real Time Object Recognition
Abstract. Distribution of object colors has been used in computer vision for recognition and indexing. Most of the recent approaches to this problem have been focused on de ning op...
Jordi Vitrià, Petia Radeva, Xavier Binefa
NPIV
1998
ACM
117views Visualization» more  NPIV 1998»
15 years 10 months ago
Data Object and Label Placement For Information Abundant Visualizations
Placing numerous data objects and their corresponding labels in limited screen space is a challenging problem in information visualization systems. Extending map-oriented techniqu...
Jia Li, Catherine Plaisant, Ben Shneiderman
CC
1998
Springer
134views System Software» more  CC 1998»
15 years 10 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson
PLILP
1998
Springer
15 years 10 months ago
A Compiler for Rewrite Programs in Associative-Commutative Theories
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
Pierre-Etienne Moreau, Hélène Kirchn...