Sciweavers

7311 search results - page 177 / 1463
» Time in State Machines
Sort
View
VLSID
2007
IEEE
97views VLSI» more  VLSID 2007»
15 years 11 months ago
Embedded Support Vector Machine : Architectural Enhancements and Evaluation
In recent years, research and development in the field of machine learning and classification techniques have gained paramount importance. The future generation of intelligent e...
Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam B...
ICASSP
2010
IEEE
15 years 4 months ago
Sparse Bayesian step-filtering for high-throughput analysis of molecular machine dynamics
Nature has evolved many molecular machines such as kinesin, myosin, and the rotary flagellar motor powered by an ion current from the mitochondria. Direct observation of the step-...
Max A. Little, Nick S. Jones
108
Voted
FSKD
2005
Springer
91views Fuzzy Logic» more  FSKD 2005»
15 years 10 months ago
Visualization Process for Design and Manufacturing of End Mills
The development of CAM system for design and manufacturing of end mills becomes a key approach to save the time and reduce cost for end mills manufacturing. This paper presents the...
Sung-Lim Ko, Trung-Thanh Pham, Yong-Hyun Kim
AUTOMATICA
2006
150views more  AUTOMATICA 2006»
15 years 4 months ago
Enlarging the terminal region of nonlinear model predictive control using the support vector machine method
In this paper, Receding Horizon Model Predictive Control (RHMPC) of nonlinear systems subject to input and state constraints is considered. We propose to estimate the terminal reg...
Chong Jin Ong, Dan Sui, Elmer G. Gilbert
123
Voted
FMICS
2007
Springer
15 years 10 months ago
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. va...