Sciweavers

13618 search results - page 288 / 2724
» The Newton Operating System
Sort
View
IROS
2007
IEEE
138views Robotics» more  IROS 2007»
16 years 1 months ago
Task evaluations of a compact laparoscopic surgical robot system
– Minimally invasive surgery (MIS) has become an important technique in practical surgical procedures. Compared with manually operated MIS procedures, surgical robot systems prov...
Ji Ma, Peter J. Berkelman
TLCA
2007
Springer
16 years 24 days ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan
SRDS
2005
IEEE
16 years 8 days ago
Lazy Verification in Fault-Tolerant Distributed Storage Systems
Michael Abd-El-Malek, Gregory R. Ganger, Michael K...
198
Voted
IWANN
2005
Springer
16 years 6 days ago
Adaptive Power System Stabilizer Using ANFIS and Genetic Algorithms
— This paper presents an adaptive Power System Stabilizer (PSS) using an Adaptive Network Based Fuzzy Inference System (ANFIS) and Genetic Algorithms (GAs). Firstly, genetic algo...
Jesús Fraile-Ardanuy, Pedro J. Zufiria
IJNS
2000
130views more  IJNS 2000»
15 years 6 months ago
A Programmable VLSI Filter Architecture for Application in Real-Time Vision Processing Systems
An architecture is proposed for the realization of real-time edge-extraction filtering operation in an Address-Event-Representation (AER) vision system. Furthermore, the approach ...
Teresa Serrano-Gotarredona, Andreas G. Andreou, Be...