Sciweavers

6568 search results - page 355 / 1314
» Reducing the Complexity of Reductions
Sort
View
CCE
2008
15 years 7 months ago
Scheduling of a mixed batch/continuous sugar milling plant using Petri nets
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
Mahsa Ghaeli, Parisa A. Bahri, Peter L. Lee
ESSLLI
2009
Springer
15 years 5 months ago
POP* and Semantic Labeling Using SAT
The polynomial path order (POP for short) is a termination method that induces polynomial bounds on the innermost runtime complexity of term rewrite systems (TRSs for short). Seman...
Martin Avanzini
ICASSP
2010
IEEE
15 years 2 months ago
Robust frequency-based Audio Fingerprinting
Pure frequency-based audio fingerprint systems have the capacity of handling very short fingerprints while being highly robust to perturbations such as additive noise or compressi...
Elsa Dupraz, Gaël Richard
CASES
2003
ACM
16 years 25 days ago
Power efficient encoding techniques for off-chip data buses
Reducing the power consumption of computing devices has gained a lot of attention recently. Many research works have focused on reducing power consumption in the off-chip buses as...
Dinesh C. Suresh, Banit Agrawal, Jun Yang 0002, Wa...
ICRA
2008
IEEE
106views Robotics» more  ICRA 2008»
16 years 2 months ago
A vision-based computed torque control for parallel kinematic machines
— In this paper, a novel approach for parallel kinematic machine control relying on a fast exteroceptive measure is implemented and validated on the Orthoglide robot. This approa...
Flavien Paccot, Philippe Lemoine, Nicolas Andreff,...