Sciweavers

1398 search results - page 258 / 280
» Ensuring Properties of Interaction Systems
Sort
View
ECML
2006
Springer
15 years 1 months ago
Efficient Non-linear Control Through Neuroevolution
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...
Faustino J. Gomez, Jürgen Schmidhuber, Risto ...
ECOWS
2006
Springer
15 years 1 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
CIKM
2000
Springer
15 years 1 months ago
Visual Query and Analysis Tool of the Object-Relational GIS Framework
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
Zoran Stojanovic, Slobodanka Djordjevic-Kajan, Dra...
71
Voted
MICCAI
2000
Springer
15 years 1 months ago
Ultrasound/MRI Overlay with Image Warping for Neurosurgery
Performing a craniotomy will cause brain tissue to shift. As a result of the craniotomy, the accuracy of stereotactic localization techniques is reduced unless the brain shift can ...
David G. Gobbi, Roch M. Comeau, Terry M. Peters
CRITICAL
2005
14 years 11 months ago
Palpable time for heterogeneous care communities
This paper describes an ongoing design experience conducted in the Neonatal Intensive Care Unit for Premature Newborns. The specificity and the delicateness of such a setting prov...
Erik Grönvall, Patrizia Marti, Alessandro Pol...