Sciweavers

1074 search results - page 133 / 215
» Space of Mechanisms
Sort
View
ICCV
2003
IEEE
16 years 8 months ago
Graph Partition by Swendsen-Wang Cuts
Vision tasks, such as segmentation, grouping, recognition, can be formulated as graph partition problems. The recent literature witnessed two popular graph cut algorithms: the Ncu...
Adrian Barbu, Song Chun Zhu
APSCC
2008
IEEE
16 years 22 days ago
Implementing Speech-Recognition Microprocessor into Intelligent Control-System of Home-Appliance
This study is a creative and initial work focused on designing an intelligent living-space with automatic control system to control all home appliances in the living space. First ...
Chun-Liang Hsu, Sheng-Yuan Yang, Wei-Bin Wu
IWMM
2004
Springer
92views Hardware» more  IWMM 2004»
15 years 11 months ago
Memory accounting without partitions
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
Adam Wick, Matthew Flatt
VLSID
1999
IEEE
101views VLSI» more  VLSID 1999»
15 years 10 months ago
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
Ingo Sander, Axel Jantsch
BIRTHDAY
2006
Springer
15 years 10 months ago
Best-First Rippling
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...
Moa Johansson, Alan Bundy, Lucas Dixon