Sciweavers

11234 search results - page 496 / 2247
» A Microsurgery Simulation System
Sort
View
QEST
2010
IEEE
15 years 4 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare
HCI
2009
15 years 4 months ago
Tooling the Dynamic Behavior Models of Graphical DSLs
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...
Tihamer Levendovszky, Tamás Mész&aac...
HCI
2009
15 years 4 months ago
Critical Interaction Analysis in the Flight Deck
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
Chiara Santamaria Maurizio, Patrizia Marti, Simone...
IGARSS
2009
15 years 4 months ago
Radio Base Network and Tomographic Processing for Real Time Estimation of the Rainfall Rate Fields
In this paper, we propose a novel remote sensing method that is adequate for rainfall rate measurements in real time by means of tomographic processing applied to power attenuatio...
Fabrizio Cuccoli, Luca Facheris, Stefano Gori

Publication
209views
15 years 3 months ago
Adaptive beamforming method based on constrained LMS algorithm for tracking mobile user
In this paper, Constrained Least Mean Square (CLMS) algorithm for narrowband adaptive beamforming for tracking mobile user in a 2D urban environment has been used. This algorithm i...
Peyman Rahmati