Sciweavers

3706 search results - page 153 / 742
» KtSeqC: System Description
Sort
View
CDC
2010
IEEE
165views Control Systems» more  CDC 2010»
15 years 1 months ago
The behavior of linear time invariant RLC circuits
It is shown that just as we did for a purely resistive network [10], that circuit analysis is very simple if the elements are described not by potentials across and currents throug...
Erik I. Verriest, Jan C. Willems
MICCAI
2004
Springer
15 years 12 months ago
A Parallel Robotic System with Force Sensors for Percutaneous Procedures Under CT-Guidance
Abstract. This paper presents a new robotic framework for assisted CTguided percutaneous procedures with force feedback and automatic patientto-image registration of needle. The pu...
Benjamin Maurin, Jacques Gangloff, Bernard Bayle, ...
COMPSAC
2003
IEEE
15 years 12 months ago
Flexible Fault Tolerance in Configurable Middleware for Embedded Systems
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...
Kevin E. Dorow
POPL
1989
ACM
15 years 10 months ago
The Modula-3 Type System
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
Luca Cardelli, James E. Donahue, Mick J. Jordan, B...
DLOG
2008
15 years 8 months ago
ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
Tobias Henrik Näth, Ralf Möller