Sciweavers

5200 search results - page 163 / 1040
» Symbolic models for control systems
Sort
View
SCM
1998
13 years 10 months ago
PRCS: The Project Revision Control System
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato
IPL
2008
82views more  IPL 2008»
13 years 9 months ago
Confusion of memory
It is a truism that for a machine to have a useful access to memory or workspace, it must "know" where its input ends and its working memory begins. Most machine models ...
Lawrence S. Moss
RSCTC
2004
Springer
164views Fuzzy Logic» more  RSCTC 2004»
14 years 2 months ago
Rough Set Methodology in Clinical Practice: Controlled Hospital Trial of the MET System
Abstract. Acute abdominal pain in childhood is a common but diagnostically challenging problem facing Emergency Department personnel. Experienced physicians use a combination of ke...
Ken Farion, Wojtek Michalowski, Roman Slowinski, S...
RTA
2005
Springer
14 years 2 months ago
Natural Narrowing for General Term Rewriting Systems
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
Santiago Escobar, José Meseguer, Prasanna T...
CDC
2010
IEEE
119views Control Systems» more  CDC 2010»
13 years 4 months ago
Combining extremum seeking control and tracking control for high-performance CVT operation
The control design for the variator in a pushbelt continuously variable transmission (CVT) is investigated. The variator enables a stepless variation of the transmission ratio with...
Stan van der Meulen, Bram de Jager, Frans Veldpaus...