6020 search results - page 654 / 1204 » A New Approach to Model Counting |
215
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
219
click to vote
MLDM
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a new criterion, based on Minimum Description Length (MDL), to estimate an optimal number of clusters. This criterion, called Kernel MDL (KMDL), is particu...
186
click to vote
GMP
2006
IEEE
16 years 1 months ago
2006
IEEE
Geometry compression is an effective way to distribute high-volume geometry data within limited bandwidth and storage capacity. In this paper, a new time-varying 3D geometry compre...
177
click to vote
ISQED
2006
IEEE
16 years 1 months ago
2006
IEEE
The continuing VLSI technology scaling leads to increasingly significant power supply fluctuations, which need to be modeled accurately in circuit design and verification. Meanwhi...
205
click to vote
ACSC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...