Sciweavers

169 search results - page 29 / 34
» Recent advancements of fuzzy sets: Theory and practice
Sort
View
AUTOMATICA
2007
142views more  AUTOMATICA 2007»
14 years 9 months ago
Lyapunov-based switching control of nonlinear systems using high-gain observers
Abstract— We consider dynamic output feedback practical stabilization of uniformly observable nonlinear systems, based on high-gain observers with saturation. We assume that unce...
Leonid B. Freidovich, Hassan K. Khalil
74
Voted
CSCW
2004
ACM
15 years 2 months ago
Maintaining redundancy in the coordination of medical emergencies
This paper reports from a study of Norwegian medical emergency call (AMK) centres, in which advanced radio and telephone communication technologies are handled by a team of nurses...
Aksel Tjora
PLDI
2011
ACM
14 years 8 days ago
Separation logic + superposition calculus = heap theorem prover
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
Juan Antonio Navarro Pérez, Andrey Rybalche...
ACL
2010
14 years 7 months ago
Efficient Inference through Cascades of Weighted Tree Transducers
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
Jonathan May, Kevin Knight, Heiko Vogler
VIS
2005
IEEE
109views Visualization» more  VIS 2005»
15 years 10 months ago
Topological Structures of 3D Tensor Fields
Tensor topology is useful in providing a simplified and yet detailed representation of a tensor field. Recently the field of 3D tensor topology is advanced by the discovery that d...
Xiaoqiang Zheng, Beresford N. Parlett, Alex Pang